zbMath0197.00601MaRDI QIDQ5593825
Haskell B. Curry
Publication date: 1968
zbMATH Keywords
recursion theory, constructive mathematics
Related Items