Descriptions in mathematical logic
- 1 September 1984
- journal article
- research article
- Published by Springer Nature in Studia Logica
- Vol. 43 (3) , 281-294
- https://doi.org/10.1007/bf02429843
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Nonstandard Models and ConstructivityPublished by Elsevier ,1982
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979
- Descriptions in Intuitionistic LogicPublished by Elsevier ,1975
- Formalized recursive functionals and formalized realizabilityMemoirs of the American Mathematical Society, 1969
- Set Theory and Its LogicPublished by Harvard University Press ,1963