Relative Interpretations
- 1 January 1961
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 7 (7-10) , 146-153
- https://doi.org/10.1002/malq.19610070710
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Representability op recursively enumerable sets in formal theoriesArchive for Mathematical Logic, 1960
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960