Your search returned 281 results.

Sort
Results
21.
Computer Programing and Formal Systems Editors: P. Braffort; D. Hirschberg Series: Studies in Logic and the Foundations of Mathematics
Publication details: Amsterdam North-Holland Publishing Company 1963
Availability: Items available for loan: IMAR (1)Call number: II 34402.

22.
Mixed boundary value problems in potential theory by Ian N. Sneddon by
Publication details: Amsterdam : North-Holland Publ. Comp. ; New York John Wiley & Sons 1966
Availability: Items available for loan: IMAR (1)Call number: II 6974.

23.
24.
25.
26.
Sets and classes on the work by Paul Bernays edited by Gert H. Mèuller by Series: Studies in logic and the foundations of mathematics ; v. 84
Publication details: Amsterdam New York New York North-Holland Pub. Co sole distributors for the U.S.A. and Canada, Elsevier/North-Holland 1976
Availability: Items available for loan: IMAR (1)Call number: II 34392.

27.
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui by Series: Studies in logic and the foundations of mathematics ; v. 89
Publication details: Amsterdam New York New York North-Holland Pub. Co sale distributors for the U.S.A. and Canada, Elsevier/North-Holland 1977
Availability: Items available for loan: IMAR (1)Call number: II 34393.

28.
Set theory with an introduction to descriptive set theory K. Kuratowski and A. Mostowski by Series: Studies in logic and the foundations of mathematics ; v. 86
Edition: 2d completely rev. ed
Publication details: Amsterdam New York North-Holland Pub. Co distributor, Elsevier/North-Holland 1976
Availability: Items available for loan: IMAR (1)Call number: II 34403.

29.
Functions, series,operators ed. by: Sz.-Nagy, B.; Szabados, J vol.1 Series: Colloquia Mathematica Societatis Janos Bolyai ; 35
Publication details: Amsterdam North-Holland Publishing Company 1983
Availability: Items available for loan: IMAR (1)Call number: II 34530.

30.
Matrix logic and mind a probe into a unified theory of mind and matter August Stern by
Publication details: Amsterdam New York New York North-Holland/Elsevier Distributors for the U.S. and Canada, Elsevier Science Pub. Co 1992
Online resources:
Availability: Items available for loan: IMAR (1)Call number: II 34589.

31.
Model theory C.C. Chang, H.J. Keisler by Series: Studies in logic and the foundations of mathematics ; 73
Edition: 3rd ed
Publication details: Amsterdam New York North-Holland Elsevier Science Pub. Co 1990
Availability: Items available for loan: IMAR (1)Call number: II 33547. Not available: IMAR: Checked out (1).

32.
A course in mathematical logic by J. L. Bell and M. Machover by
Publication details: Amsterdam New York North-Holland Pub. Co sole distributors for the U.S.A. and Canada American Elsevier Pub. Co 1977
Online resources:
Availability: Items available for loan: IMAR (1)Call number: II 33701.

33.
Infinite-Dimensional Topology : Prerequisites and Introduction J. Van Mill by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: North-Holland; Amsterdam Elsevier 1989
Availability: Items available for loan: IMAR (2)Call number: 514-MIL-1, ...

34.
35.
The lambda calculus its syntax and semantics H.P. Barendregt by Series: Studies in logic and the foundations of mathematics ; v. 103
Edition: Rev. ed
Publication details: Amsterdam New York New York, N.Y North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co 1984
Online resources:
Availability: Items available for loan: IMAR (2)Call number: II 32560, ...

36.
Bayesian analysis in economic theory and time series analysis the 1977 Savage Dissertation Award theses Charles A. Holt, Jr., Robert W. Shore by Series: Studies in Bayesian econometrics ; v. 2
Publication details: Amsterdam New York New York North-Holland Pub. Co sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1980
Availability: Items available for loan: IMAR (1)Call number: 330/.01/82-XXX.

37.
Bayesian analysis in economic theory and time series analysis the 1977 Savage Dissertation Award theses Charles A. Holt, Jr., Robert W. Shore by Series: Studies in Bayesian econometrics ; v. 2
Publication details: Amsterdam New York New York North-Holland Pub. Co sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1980
Availability: No items available.

38.
Relativity : the general theory by J. L. Synge by Series: Series in physics (North-Holland). *2
Publication details: Amsterdam North-Holland Publ. Co 1964
Availability: Items available for loan: IMAR (2)Call number: II 6441, ...

39.
Quasihomogeneous distributions Olaf von Grudzinski by Series: North-Holland mathematics studies ; 165
Publication details: Amsterdam New York New York, N.Y., U.S.A North-Holland Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co 1991
Availability: Items available for loan: IMAR (1)Call number: II 32853.

40.
Theories of computational complexity Christian Calude by Series: Annals of discrete mathematics ; 35
Publication details: Amsterdam New York New York, N.Y., U.S.A North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co 1988
Availability: Items available for loan: IMAR (1)Call number: II 32852.

Pages

Powered by Koha