IMSc Library catalog › Results of search for 'su:"Model theory."'

			Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 / by Baldwin, John T. Series: Lecture notes in mathematics (Springer-Verlag) ; 1292.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1987Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 3 Call number: 51 LNM. Place hold Log in to add tags
			Aspects of constructibility [by] Keith J. Devlin. by Devlin, Keith J. Series: Lecture notes in mathematics (Springer-Verlag) ; 354.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 31 Call number: 51 LNM. Place hold Log in to add tags
			Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.). by Troelstra, A. S. Series: Lecture notes in mathematics (Springer-Verlag) ; 344.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, Heidelberg, New York, Springer, 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 30 Call number: 51 LNM. Place hold Log in to add tags
			Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere, C. Maurer, G. C. Wraith. by Lawvere, F. W \| Maurer, Christian \| Wraith, Gavin C. Series: Lecture notes in mathematics (Springer-Verlag) ; 445.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 33 Call number: 51 LNM. Place hold Log in to add tags
			Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler. by Hirschfeld, Joram \| Wheeler, William H. Series: Lecture notes in mathematics (Springer-Verlag) ; 454.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 33 Call number: 51 LNM. Place hold Log in to add tags
			An introduction to independence for analysts by Dales, H.G \| Woodin, W.H. Series: London Mathematical Society lecture note series ; 115Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 1987Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DAL. Place hold Log in to add tags
			Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker. by Karp, Carol \| Kueker, D. W. Series: Lecture notes in mathematics (Springer-Verlag) ; 492.Material type: Text;Language: English; Format: print ; Nature of contents: festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM. Place hold Log in to add tags
			Model theory and algebra : a memorial tribute to Abraham Robinson / edited by D. Saracino and V. B. Weispfenning. by Robinson, Abraham \| Saracino, Dan \| Weispfenning, Volker. Series: Lecture notes in mathematics (Springer-Verlag) ; 498.Material type: Text;Language: English; Format: print ; Nature of contents: festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM. Place hold Log in to add tags
			Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach. by Marek, Wiktor \| Srebrny, Marian \| Zarach, Andrzej. Series: Lecture notes in mathematics (Springer-Verlag) ; 537.Material type: Text;Language: English; Format: print festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1976Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM. Place hold Log in to add tags
			Finite Model Theory by Ebbinghaus, Heinz-Dieter \| Flum, Jörg. Series: Perspectives in Mathematical LogicMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB. Place hold Log in to add tags
			A shorter model theory by Hodges, Wilfrid. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOD. Place hold Log in to add tags
			Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / by Bouscaren, Elisabeth. Series: Lecture notes in mathematics (Springer-Verlag) ; 1696.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer, c1998Other title: Hrushovski's proof of the geometric Mordell-Lang conjecture.Online access: Click here to access online \| Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 11 Call number: 51 LNM. Place hold Log in to add tags
			A course in Model Theory : Introduction to Contemporary Mathematical Logic by Poizat, Bruno. Series: UniversitextMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 POI. Place hold Log in to add tags
			Model Theory, Algebra, and Geometry by Haskell, Deirdre. Ed \| Pillay, Anand. Ed \| Steinhorn, Charles. Ed. Series: Mathematical Sciences Research Institute Publications, 39Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 5 Call number: 512 HAS. Place hold Log in to add tags
			Finite Model theory by Ebbinghaus, Heinz Dieter \| Flum, Jorg. Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB. Place hold Log in to add tags
			Model theory of groups and automorphism groups by Evans, David M. Ed. Series: London mathematical society lecture note series ; 00244Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 45 Call number: 512.64 EVA. Place hold Log in to add tags
			No cover image available Model Theory, Introduction to- : (ALAS 15) by Rothmaler, Philllip. Series: Algebra, Logic and Applications 15Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Gordon & Breach ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 ROT. Place hold Log in to add tags
			Reconstruction of Trees from their Automorphism Groups by Rubin, Matatyahu. Series: Contemporary mathematics ; 00151Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 9 Call number: 51 CM. Place hold Log in to add tags
			Accessible categories : [electronic resource] the foundations of categorical model theory / Michael Makkai, Robert Par�e. by Makkai, Mih�aly, 1939- \| Par�e, Robert, 1944-. Series: Contemporary mathematics (American Mathematical Society) ; v. 104.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			The reconstruction of trees from their automorphism groups / [electronic resource] Matatyahu Rubin. by Rubin, Matatyahu. Series: Contemporary mathematics (American Mathematical Society) ; v. 151.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1993Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

			Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 / by Baldwin, John T. Series: Lecture notes in mathematics (Springer-Verlag) ; 1292.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1987Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 3 Call number: 51 LNM. Place hold Log in to add tags
			Aspects of constructibility [by] Keith J. Devlin. by Devlin, Keith J. Series: Lecture notes in mathematics (Springer-Verlag) ; 354.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 31 Call number: 51 LNM. Place hold Log in to add tags
			Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.). by Troelstra, A. S. Series: Lecture notes in mathematics (Springer-Verlag) ; 344.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, Heidelberg, New York, Springer, 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 30 Call number: 51 LNM. Place hold Log in to add tags
			Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere, C. Maurer, G. C. Wraith. by Lawvere, F. W \| Maurer, Christian \| Wraith, Gavin C. Series: Lecture notes in mathematics (Springer-Verlag) ; 445.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 33 Call number: 51 LNM. Place hold Log in to add tags
			Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler. by Hirschfeld, Joram \| Wheeler, William H. Series: Lecture notes in mathematics (Springer-Verlag) ; 454.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 33 Call number: 51 LNM. Place hold Log in to add tags
			An introduction to independence for analysts by Dales, H.G \| Woodin, W.H. Series: London Mathematical Society lecture note series ; 115Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 1987Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DAL. Place hold Log in to add tags
			Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker. by Karp, Carol \| Kueker, D. W. Series: Lecture notes in mathematics (Springer-Verlag) ; 492.Material type: Text;Language: English; Format: print ; Nature of contents: festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM. Place hold Log in to add tags
			Model theory and algebra : a memorial tribute to Abraham Robinson / edited by D. Saracino and V. B. Weispfenning. by Robinson, Abraham \| Saracino, Dan \| Weispfenning, Volker. Series: Lecture notes in mathematics (Springer-Verlag) ; 498.Material type: Text;Language: English; Format: print ; Nature of contents: festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM. Place hold Log in to add tags
			Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach. by Marek, Wiktor \| Srebrny, Marian \| Zarach, Andrzej. Series: Lecture notes in mathematics (Springer-Verlag) ; 537.Material type: Text;Language: English; Format: print festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1976Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM. Place hold Log in to add tags
			Finite Model Theory by Ebbinghaus, Heinz-Dieter \| Flum, Jörg. Series: Perspectives in Mathematical LogicMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB. Place hold Log in to add tags
			A shorter model theory by Hodges, Wilfrid. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge University Press 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOD. Place hold Log in to add tags
			Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / by Bouscaren, Elisabeth. Series: Lecture notes in mathematics (Springer-Verlag) ; 1696.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer, c1998Other title: Hrushovski's proof of the geometric Mordell-Lang conjecture.Online access: Click here to access online \| Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 11 Call number: 51 LNM. Place hold Log in to add tags
			A course in Model Theory : Introduction to Contemporary Mathematical Logic by Poizat, Bruno. Series: UniversitextMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 POI. Place hold Log in to add tags
			Model Theory, Algebra, and Geometry by Haskell, Deirdre. Ed \| Pillay, Anand. Ed \| Steinhorn, Charles. Ed. Series: Mathematical Sciences Research Institute Publications, 39Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 5 Call number: 512 HAS. Place hold Log in to add tags
			Finite Model theory by Ebbinghaus, Heinz Dieter \| Flum, Jorg. Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB. Place hold Log in to add tags
			Model theory of groups and automorphism groups by Evans, David M. Ed. Series: London mathematical society lecture note series ; 00244Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 45 Call number: 512.64 EVA. Place hold Log in to add tags
			No cover image available Model Theory, Introduction to- : (ALAS 15) by Rothmaler, Philllip. Series: Algebra, Logic and Applications 15Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Gordon & Breach ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 ROT. Place hold Log in to add tags
			Reconstruction of Trees from their Automorphism Groups by Rubin, Matatyahu. Series: Contemporary mathematics ; 00151Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 9 Call number: 51 CM. Place hold Log in to add tags
			Accessible categories : [electronic resource] the foundations of categorical model theory / Michael Makkai, Robert Par�e. by Makkai, Mih�aly, 1939- \| Par�e, Robert, 1944-. Series: Contemporary mathematics (American Mathematical Society) ; v. 104.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			The reconstruction of trees from their automorphism groups / [electronic resource] Matatyahu Rubin. by Rubin, Matatyahu. Series: Contemporary mathematics (American Mathematical Society) ; v. 151.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1993Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 39 results.