Your search returned 85 results.

Sort
Results
1.
Applications of model theory to algebra, analysis, and probability/ edited by W. A. J. Luxemburg. by
  • Luxemburg, W. A. J, 1929-
  • California Institute of Technology
  • International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability (1967 : California Institute of Technology)
Publication details: New York: Holt, Rinehart and Winston, [1969]
Availability: Items available for loan: Castorina (1)Call number: 511.3 A652 1969 IMPA.

2.
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, 1945-
  • Wraith, Gavin C, 1939-
Series: Lecture notes in mathematics (Springer-Verlag) ; 445.
Publication details: Berlin ; New York: Springer-Verlag, 1975
Availability: Items available for loan: Castorina (1).

3.
Studies in model theory/ Jon Barwise ... [et. al.]; M. D. Morley, editor. by
  • Barwise, Jon
Series: Studies in mathematics (Mathematical Association of America) ; v. 8.
Publication details: [Buffalo]: Mathematical Association of America, [c1973]
Availability: Items available for loan: Castorina (1)Call number: 511.3 S933 1973 IMPA.

4.
Infinitary logic: in memoriam Carol Karp : a collection of papers by various authors/ edited by D. W. Kueker. by
  • Karp, Carol, 1926-1972
  • Kueker, D. W, 1943-
Series: Lecture notes in mathematics (Springer-Verlag) ; 492.
Publication details: Berlin ; New York: Springer-Verlag, 1975
Availability: Items available for loan: Castorina (1).

5.
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) ; 498.
Publication details: Berlin ; New York: Springer-Verlag, 1975
Availability: Items available for loan: Castorina (1).

6.
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örn
  • Prestel, A. (Alexander), 1941-
Series: Lecture notes in mathematics (Springer-Verlag) ; 872.
Publication details: Berlin ; New York: Springer-Verlag, 1981
Availability: Items available for loan: Castorina (1).

7.
Model theory and applications. by
  • Mangani, Piero
  • Centro Internazionale Matematico Estivo
Publication details: Roma: Cremonese, 1975
Availability: Items available for loan: Castorina (1)Call number: 511.3 M689 1975 IMPA.

8.
Model theory and arithmetic: comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80/ edited by C. Berline, K. McAloon, and J.-P. Ressayre. by
  • Berline, C. (Chantal)
  • McAloon, Kenneth
  • Ressayre, J.-P. (Jean-Pierre)
  • Centre National de la Recherche Scientifique (France)
Series: Lecture notes in mathematics (Springer-Verlag) ; 890.
Language: engfre
Publication details: Berlin: New York: Springer, 1981
Availability: Items available for loan: Castorina (1).

9.
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) ; 1696
Publication details: Berlin; London: Springer, c1998
Availability: Items available for loan: Castorina (1).

10.
Symposia mathematica: Teoria dei modelli 17-20 novembre 1969 ; Geometria : 13-16 aprile 1970. by
  • Severi, Francesco, 1879-1961
  • Istituto nazionale di alta matematica (Italy)
Series: Symposia mathematica ; v. 5
Language: itaengfreger
Publication details: London; New York: Roma: Academic Press, Istituto nazionale di alta matematica, 1971
Availability: Items available for loan: Castorina (1).

11.
Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University/ Neil Immerman, Phokion G. Kolaitis, editor. by
  • Immerman, Neil, 1953-
  • Kolaitis, Phokion
  • DIMACS Workshop on Descriptive Complexity and Finite Models (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 31
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 D449 1997 IMPA.

12.
Logic and algebra/ edited by Yi Zhang with a preface by Oleg Belegradek. by
  • Zhang, Yi, 1964-
Series: Contemporary mathematics (American Mathematical Society) ; v. 302.
Publication details: Providence, R.I.: American Mathematical Society, c2002
Availability: Items available for loan: Castorina (1).

13.
Model theory of groups and automorphism groups: Blaubeuren, August 1995/ edited by David M. Evans. by
  • Evans, David M. (David Mark), 1964-
Series: London Mathematical Society lecture note series ; 244
Publication details: Cambridge, UK; New York: Cambridge University Press, 1997
Availability: Items available for loan: Castorina (1)Call number: 512.2 M691 1997 IMPA.

14.
Model theory with applications to algebra and analysis/ Zoé Chatzidakis ... [et al.]. by
  • Chatzidakis, Zoé Maria
Series: London Mathematical Society lecture note series ; 349-350
Publication details: Cambridge, UK; New York: Cambridge University Press, 2008
Other title:
  • Model theory and applications to algebra and analysis
Availability: Items available for loan: Castorina (2)Call number: 511.3 M691 2008 IMPA, ...

15.
Models, logics, and higher-dimensional categories: a tribute to the work of Mihály Makkai/ Bradd Hart ... [et al.], editors. by
  • Makkai, Mihály, 1939-
  • Hart, Bradd T
Series: CRM proceedings & lecture notes ; v. 53.
Publication details: Providence, R.I.: American Mathematical Society, c2011
Availability: Items available for loan: Castorina (1)Call number: 510.92 M691 2011 IMPA.

16.
Groups and model theory: a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany/ Lutz Strungmann ... [et al.], editors. by
  • Göbel, R., (Rüdiger), 1940-
  • Strungmann, Lutz, 1971-
Series: Contemporary mathematics (American Mathematical Society) ; v. 576.
Publication details: Providence, R.I.: American Mathematical Society, c2012
Availability: Items available for loan: Castorina (1).

17.
Lecture notes on O-minimal structures and real analytic geometry/ Chris Miller, Jean-Philippe Rolin, Patrick Speissegger, editors. by
  • Miller, Chris
  • Rolin, Jean-Philippe
  • Speissegger, Patrick
  • Fields Institute for Research in Mathematical Sciences
Series: Fields Institute communications ; v. 62.
Publication details: New York: Springer, c2012
Availability: Items available for loan: Castorina (2)Call number: 516.35 L471 2012 IMPA, ...

18.
Model theory in algebra, analysis and arithmetic: Cetraro, Italy 2012/ Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilke ; editors: H. Dugald Macpherson, Carlo Toffalori. by
  • Macpherson, Dugald [editor.]
  • Toffalori, Carlo [editor.]
  • Pillay, Anand
  • Wilkie, A. J. (Alec J.)
  • Van den Dries, Lou
  • Koenigsmann, Jochen
  • Centro Internazionale Matematico Estivo
Series: Lecture notes in mathematics (Springer-Verlag) ; 2111. | Lecture notes in mathematics (Springer-Verlag). CIME Foundation subseries.
Publisher: Heidelberg; New York; Dordrecht; London: Florence, Italy: Springer; Fondazione CIME Roberto Conti, [2014]
Availability: Items available for loan: Castorina (1).

19.
Logic without borders: essays on set theory, model theory, philosophical logic and philosophy of mathematics/ edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces. by
  • Hirvonen, Asa [editor.]
  • Kontinen, Juha [editor.]
  • Kossak, Roman, 1953-
  • Villaveces, Andrés (Mathematics professor) [editor.]
Series: Ontos mathematical logic ; v. 5.
Publisher: Berlin; Boston: De Gruyter, [2015]
Availability: Items available for loan: Castorina (1)Call number: 510.92 L832 2015 IMPA.

20.
Beyond first order model theory/ edited by Jose Iovino. by
  • Iovino, Jose [editor.]
Series: Monographs and research notes in mathematics
Publisher: Boca Raton, FL: CRC Press, [2017]
Availability: Items available for loan: Castorina (1)Call number: 511.3 B573 2017 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha