On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets
- Igor D. Zaslavsky
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1
Scopus
citations