Results
|
|
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.
|
|
|
|
|
|
Complete theories by Robinson, Abraham | . Series: NRSA TR 0171 0180 : 1983Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1956Availability: Items available for loan: 1 Call number: 510(01) Rob.
|
|
|
Undecidable theories by Tarski, Alfred | . Series: NRSA TR 0171 0180 : 1983Edition: Language: English Publication details: Amsterdam ; North-Holland Pub., ; 1971Availability: Items available for loan: 1 Call number: 51 Tar.
|
|
|
|