Curry, Haskell B.
3  Ergebnisse:
Personensuche X
?
1

Combinatory logic 

Volume IIStudies in logic and the foundations of mathematics ; v. 65
Link: https://www.sciencedirec..

Exemplar:  Zentrale:E02 a mat 012.5/529-2
 
?
2

Outlines of a formalist philosophy of mathematics 

Studies in logic and the foundations of mathematics ; v. 3
 
1-3