DOI10.2307/2266612zbMath0048.00202OpenAlexW2048288856MaRDI QIDQ5813906
Haskell B. Curry
Publication date: 1952 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2307/2266612
Mathematics Subject Classification ID
Mathematical logic and foundations (03-XX)
Related Items
