Results of search for 'su:"Model theory"' › the IMAR Library catalog

Results
	1.	Model theory Wilfrid Hodges by Hodges, Wilfrid Series: Encyclopedia of mathematics and its applications ; v. 42 Publication details: Cambridge [England] New York Cambridge University Press 1993 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (2)Call number: II 35175, ... Place hold Add to cart (remove)
	2.	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 Arruda, Ayda I Costa, Newton C. A. da Chuaqui, R 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. Place hold Add to cart (remove)
	3.	Model theory and applications edited by L. Belair, Z. Chatzidakis, ... [et al.] by Belair, L Series: Quaderni di matematica ; v. 11 Publication details: Napoli, Italy Dipartimento di matematica della Seconda Universita di Napoli c2002 Availability: Items available for loan: IMAR (1)Call number: II 34642. Place hold Add to cart (remove)
	4.	Model theory C.C. Chang, H.J. Keisler by Chang, Chen Chung Keisler, H. Jerome 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). Place hold Add to cart (remove)
	5.	Model theory and algebraic geometry an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture Elisabeth Bouscaren (ed.) by Bouscaren, Elisabeth, 1956- Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer c1998 Other title: Hrushovski's proof of the geometric Mordell-Lang conjecture Availability: Items available for loan: IMAR (1)Call number: II 33958. Place hold Add to cart (remove)
	6.	Classification theory and the number of non-isomorphic models S. Shelah by Shelah, Saharon 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: Publisher description Availability: Items available for loan: IMAR (1)Call number: II 32450. Place hold Add to cart (remove)
	7.	An introduction to independence for analysts H.G. Dales, W.H. Woodin by Dales, H. G Woodin, W. H Series: London Mathematical Society lecture note series ; 115 Publication details: Cambridge New York Cambridge University Press 1987 Online resources: Publisher description Table of contents only Availability: Items available for loan: IMAR (1)Call number: II 32086. Place hold Add to cart (remove)
	8.	Computation and proof theory edited by M.M. Richter ... [et al.]. -- by Richter, Michael M, 1938- Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin Springer 1984 Availability: Items available for loan: IMAR (1)Call number: II 31870. Place hold Add to cart (remove)
	9.	Classification theory proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 Editor: J. T. Baldwin by Baldwin, John T Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag c1987 Availability: Items available for loan: IMAR (1)Call number: II 31927. Place hold Add to cart (remove)
	10.	Models and sets proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I edited by G.H. Mèuller and M.M. Richter by Mèuller, G. H Richter, M. M Series: Lecture notes in mathematics (Springer-Verlag) ; 1103 Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: IMAR (1)Call number: II 28087. Place hold Add to cart (remove)
	11.	Methods in mathematical logic proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 edited by C.A. Di Prisco. -- by Di Prisco, C. A Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin Springer-Verlag c1985 Availability: Items available for loan: IMAR (1)Call number: II 29734. Place hold Add to cart (remove)
	12.	Around classification theory of models Saharon Shelah by Shelah, Saharon Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag c1986 Availability: Items available for loan: IMAR (1)Call number: II 30693. Place hold Add to cart (remove)
	13.	Institution-independent model theory Razvan Diaconescu by Diaconescu, Razvan Series: Studies in universal logic Publication details: Basel Boston Birkhèauser c2008 Availability: Items available for loan: IMAR (1)Call number: II 35436. Place hold Add to cart (remove)
	14.	Topological model theory Jèorg Flum, Martin Ziegler by Flum, Jèorg Ziegler, Martin Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1980 Availability: Items available for loan: IMAR (1)Call number: II 23265. Place hold Add to cart (remove)
	15.	Model theory and algebra a memorial tribute to Abraham Robinson edited by D. Saracino and V. B. Weispfenning by Robinson, Abraham, 1918-1974 Saracino, Dan, 1947- Weispfenning, Volker, 1944- Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1975 Availability: Items available for loan: IMAR (1)Call number: II 19940. Place hold Add to cart (remove)
	16.	Set theory and model theory proceedings of an informal symposium held at Bonn, June 1-3, 1979 edited by R.B. Jensen and A. Prestel by Jensen, Ronald Bjèorn Prestel, A, 1941- Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1981 Availability: Items available for loan: IMAR (1)Call number: II 24404. Place hold Add to cart (remove)
	17.	Forcing, arithmetic, division rings Joram Hirschfeld, William H. Wheeler by Hirschfeld, Joram Wheeler, William H, 1946- Series: Publication details: Berlin New York Springer-Verlag 1975 Availability: Items available for loan: IMAR (1)Call number: II 20096. Place hold Add to cart (remove)
	18.	Proper forcing Saharon Shelah by Shelah, Saharon Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1982 Availability: Items available for loan: IMAR (1)Call number: II 26004. Place hold Add to cart (remove)
	19.	Set theory and hierarchy theory V Bierutowice, Poland 1976 edited by A. Lachlan, M. Srebrny, and A. Zararch. -- by Lachlan, Alistair H Zarach, Andrzej, 1948- Srebrny, Marian, 1947- Uniwersytet Wrocławski Series: Publication details: Berlin Springer 1977 Availability: Items available for loan: IMAR (2)Call number: CS1-619, ... Place hold Add to cart (remove)
	20.	First order categorical logic model-theoretical methods in the theory of topoi and related categories Michael Makkai, Gonzalo E. Reyes by Makkai, Michael Reyes, Gonzalo E, 1937- Series: Publication details: Berlin New York Springer-Verlag 1977 Availability: Items available for loan: IMAR (3)Call number: CS1-611, ... Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 48 results.