[Russian Text Ignored]
- 1 January 1963
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 9 (7) , 97-104
- https://doi.org/10.1002/malq.19630090702
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Propositional Calculus and RealizabilityTransactions of the American Mathematical Society, 1953
- Propositional calculus and realizabilityTransactions of the American Mathematical Society, 1953
- Recursive Functions and Intuitionistic Number TheoryTransactions of the American Mathematical Society, 1947
- Recursive functions and intuitionistic number theoryTransactions of the American Mathematical Society, 1947