Your search returned 45 results.

Sort
Results
41.
Many-dimensional modal logics: Theory and applications D.M. Gabbay ... [et al.] by Series: Studies in logic and the foundations of mathematics ; v. 148
Edition: 1st ed
Publication details: Amsterdam Boston Elsevier North Holland 2003
Online resources:
Availability: Items available for loan: IMAR (1)Call number: II 37188. Not available: IMAR: Checked out (1).

42.
Combinatory logic Haskell B. Curry, Roger Hindley, Jonathan Seldin vol. 2 by Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam: North-Holland Pub. Co., 1972
Availability: Items available for loan: IMAR (1)Call number: 511.3-CURRY-2.

43.
Combinatory logic Haskell B. Curry, Roger Hindley, Jonathan Seldin vol. 1 by Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam North-Holland Pub. Co. 1974
Availability: Items available for loan: IMAR (1)Call number: 511.3-CURRY-1.

44.
45.
Handbook of proof theory edited by Samuel R. Buss by Series: Studies in logic and the foundations of mathematics ; vol. 137
Publication details: New York : Elsevier, 1998
Availability: Items available for loan: IMAR (1)Call number: 511.3-BUS.

Pages

Powered by Koha