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