Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
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.
Found in Open Library:
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
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.
Found in Open Library:
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
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).
Found in Open Library:
|
|
17.
|
|
|
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).
Found in Open Library:
|
|
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.
Found in Open Library:
|
|
20.
|
|