Your search returned 6 results.

Sort
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.

Intuitionism : an introduction

by Heyting, A | .

Series: NRSA TR 0171 0180 : 1983Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1956Availability: Items available for loan: 1 Call number: 51 Hey(2).

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.

Calibration of bendix modular multispectral scanner (M2S) in visible channels

by .

Series: NRSA TR 0171 - 0180 : 1983Edition: Language: English Publication details: Secunderabad ; National Remote Sensing Agency ; 1983Online access: Click here to access online Availability: Items available for reference: Not for loan (1) Call number: BNRSA TR 0171 - 0180 : 1983.

Pages

Powered by Koha