Results
|
|
Foundations of mathematical logic by Curry, Haskell B | . Series: Edition: Language: English Publication details: New York ; Dover Pub., ; 1977Availability: Items available for loan: 1 Call number: 517.1 Cur(3).
|
|
|
|
|
|
Combinatory logic by Curry, Haskell B | Hindley, J. Roger | Seldin, Jonathan P | . Series: NRSA TR 0171 0180 : 1983Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1972Availability: Items available for loan: 1 Call number: 519.1 Cur-2.
|
|
|
Combinatory logic by Curry, Haskell B | Feys, Robert | Craig, William | . Series: NRSA TR 0171 0180 : 1983Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1958Availability: Items available for loan: 1 Call number: 519.1 Cur-1.
|