Combinatory logic and the axiom of choice
- 1 January 1973
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 76 (3) , 203-221
- https://doi.org/10.1016/1385-7258(73)90005-x
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A mathematical logic without variables. IIDuke Mathematical Journal, 1935
- A Mathematical Logic Without Variables. IAnnals of Mathematics, 1935
- Grundlagen der Kombinatorischen LogikAmerican Journal of Mathematics, 1930
- Grundlagen der Kombinatorischen LogikAmerican Journal of Mathematics, 1930