MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
Autor: | DAMNJANOVIC, ZLATAN |
---|---|
Zdroj: | The Bulletin of Symbolic Logic, 2017 Dec 01. 23(4), 381-404. |
Databáze: | JSTOR Journals |
Externí odkaz: |
Autor: | DAMNJANOVIC, ZLATAN |
---|---|
Zdroj: | The Bulletin of Symbolic Logic, 2017 Dec 01. 23(4), 381-404. |
Databáze: | JSTOR Journals |
Externí odkaz: |