Your search returned 45 results.

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

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

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

24.
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).

25.
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, ...

26.
Introduction to model theory and to the metamathematics of algebra Abraham Robinson by Series: Studies in logic and the foundations of mathematics. *1
Publication details: Amsterdam North-Holland 1965
Availability: Items available for loan: IMAR (1)Call number: II 7521. Not available: IMAR: Checked out (1).

27.
Classification theory and the number of non-isomorphic models S. Shelah by Series: Studies in logic and the foundations of mathematics ; v. 92
Edition: Rev. ed
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 1990
Online resources:
Availability: Items available for loan: IMAR (1)Call number: II 32450.

28.
Programmming and the theory of automata Arthur W. Burks by Series: Seria Studies in logic and the foundations of mathematics. *1 | Seria Computer programming and formal systems. *1
Publication details: Amsterdam North-Holland [1961]
Availability: Items available for loan: IMAR (1)Call number: II 6078.

29.
Handbook of mathematical logic edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]. -- by Series:
Publication details: Amsterdam New York North-Holland Pub. Co 1977
Availability: Items available for loan: IMAR (1)Call number: II 21529.

30.
Elementary induction on abstract structures [by] Yiannis N. Moschovakis by Series: Studies in logic and the foundations of mathematics ; v. 77
Publication details: Amsterdam New York North-Holland Pub. Co American Elsevier Pub. Co 1974
Availability: Items available for loan: IMAR (1)Call number: II 18781.

31.
Constructible sets with applications A. Mostowski by Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam North-Holland 1969
Availability: Items available for loan: IMAR (2)Call number: II 17149, ...

32.
An algebraic approach to non-classical logics Helena Rasiowa by Series: Studies in logic and the foundations of mathematics ; v. 78
Publication details: Amsterdam New York North-Holland Pub. Co American Elsevier Pub. Co 1974
Availability: Items available for loan: IMAR (2)Call number: II 17215, ...

33.
34.
Cylindric Algebras Part II Leon Henkin, J. Donald Monk, Alfred Tarski by Series: Studies in Logic and the Foundations of Mathematics ; Volume 115
Publication details: Amsterdam North - Holland Publishing Company
Availability: Items available for loan: IMAR (1)Call number: II 14210.

35.
Cylindric Algebras Part I Leon Henkin, J. Donald Monk, Alfred Tarski by Series: Studies in Logic and the Foundations of Mathematics ; Volume 64
Publication details: Amsterdam North - Holland Publishing Company 1971
Availability: Items available for loan: IMAR (1)Call number: II 14210.

36.
Logic Colloquium ' 69 - Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, august 1969 R. O. Gandy; C. M. E. Yates by Series: Studies in Logic and the Foundations of Mathematics ; Volume 61
Publication details: Amsterdam North - Holland Publishing Company 1969
Availability: Items available for loan: IMAR (2)Call number: II 14209, ...

37.
Problems in the Philosophy of Mathematics Imre Lakatos by Series: Studies in Logic and the Foundations of Mathematics
Publication details: Amsterdam North - Holland Publishing Company 1967
Availability: Items available for loan: IMAR (1)Call number: II 8452.

38.
On the Mathematics of Algebra Abraham Robinson by Series: Studies in Logic and the Foundations of Mathematics
Publication details: Amsterdam North - Holland Publishing Company 1951
Availability: Items available for loan: IMAR (1)Call number: II 4048.

39.
Outlines of a Formalist Philosophy of Mathematics Haskell B. Curry by Series: Studies in Logic and the Foundations of Mathematics
Publication details: Amsterdam North - Holland Publishing Company 1951
Availability: Items available for loan: IMAR (1)Call number: II 4783.

40.
Tools and techniques in modal logic Marcus Kracht by Series: Studies in logic and the foundations of mathematics ; v. 142
Edition: 1st ed
Publication details: Amsterdam New York Elsevier 1999
Availability: Items available for loan: IMAR (2)Call number: II 37187, ...

Pages

Powered by Koha