Your search returned 177 results.

Sort
Results
1.
Handbook of set-theoretic topology/ edited by Kenneth Kunen, Jerry E. Vaughan. by
  • Kunen, Kenneth
  • Vaughan, Jerry E
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1984
Availability: Items available for loan: Castorina (1)Call number: 514 H236 1984 IMPA.

2.
Théorie des ensembles: Séminaire G M S/ sous le direction de S. Grigorieff, K. Mc Aloon, J. Stern. by
  • Grigorieff, S. (Serge)
  • McAloon, Kenneth
  • Stern, J. (Jacques)
Series: Publications mathématiques de l'Université Paris VII
Publication details: Paris: U.E.R. de Mathemátiques, [1979]
Availability: Items available for loan: Castorina (1)Call number: 511.322 T396 1978 IMPA.

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

4.
Surveys in set theory/ edited by A.R.D. Mathias. by
  • Mathias, A. R. D., (Adrian Richard David), 1944-
Series: London Mathematical Society lecture note series ; 87
Publication details: Cambridge [Cambridgeshire]; New York: Cambridge University Press, 1983
Online access:
Availability: Items available for loan: Castorina (1)Call number: 511.322 S963 1983 IMPA.

5.
Foundations of mathematics: logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA/ Andres Eduardo Caicedo [and three others], editors. by
  • Woodin, W. H. (W. Hugh)
  • Caicedo, Andres Eduardo, 1974-
Series: Contemporary mathematics (American Mathematical Society) ; v. 690.
Publisher: Providence, Rhode Island: American Mathematical Society, [2017]
Other title:
  • Logic at Harvard
Availability: Items available for loan: Castorina (1).

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

7.
Centenary of the Borel conjecture/ Marion Scheepers, Ondrej Zindulka, editors. by
  • Scheepers, Marion, 1957-
  • Zindulka, Ondrej, 1961
Series: Contemporary mathematics (American Mathematical Society) ; v. 755.
Publisher: [Providence, Rhode Island]: American Mathematical Society, [2020]
Availability: Items available for loan: Castorina (1).

8.
Notes on N-valued Post algebras/ Manuel Abad. On free L-algebras / Manuel Abad and Luiz Monteiro. by
  • Abad, Manuel
  • Monteiro, Luiz
  • Abad, Manuel
Series: Notas de lógica matemática ; no. 34-35.
Publication details: Bahia Blanca, Argentina: INMABB-CONICET, Universidad Nacional del Sur, 1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 A116n 1987 IMPA.

9.
Einführung in die Mengenlehre und die Theorie der reellen Funktionen/ Übersetzung aus dem Russischen: Manfred Peschel und Wolfgang Richter. by
  • Aleksandrov, P. S. (Pavel Sergeevich), 1896-
Series: Hochshulbücher für Mathematik ; Bd. 23
Edition: 3. Aufl.
Language: German Original language: Russian
Publication details: Berlin: Deutscher Verlag der Wissenschaften, 1965
Availability: Items available for loan: Castorina (1)Call number: 515.8 A366e 1965 IMPA.

10.
Nonstandard models of arithmetic and set theory: AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland/ Ali Enayat, Roman Kossak, editors. by
  • AMS Special Session Nonstandard Models of Arithmetic and Set Theory (2003: Baltimore, Md.)
  • Enayat, Ali, 1959-
  • Kossak, Roman, 1953-
Series: Contemporary mathematics (American Mathematical Society) ; v. 361.
Publication details: Providence, R.I.: American Mathematical Society, c2004
Availability: Items available for loan: Castorina (1).

11.
Combinatorics of finite sets/ Ian Anderson. by
  • Anderson, Ian, 1952-
Publication details: Oxford New York: Clarendon Press, 1987
Availability: Items available for loan: Castorina (1)Call number: 511.6 A546c 1987 IMPA.

12.
Souslin quasi-orders and bi-embeddability of uncountable structures / Alessandro Andretta, Luca Motto Ros. by
  • Andretta, Alessandro, 1960- [author.]
  • Motto Ros, Luca, 1979- [author.]
Series: Memoirs of the American Mathematical Society ; volume 277, number 1365
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Providence, RI : American Mathematical Society, [2022]
Availability: Items available for loan: Castorina (1).

13.
Ramsey methods in analysis/ Spiros A. Argyros, Stevo Todorcevic. by
  • Argyros, S. (Spiros), 1950-
  • Todorcevic, Stevo
Series: Advanced courses in mathematics, CRM Barcelona
Publication details: Basel; Boston: Birkhäuser, c2005
Availability: Items available for loan: Castorina (1)Call number: 515.732 A695r 2005 IMPA.

14.
Flat Lorentz 3-manifolds/ by L. Auslander and L. Markus. by
  • Auslander, Louis
  • Marcus, Lawrence, 1922- [joint author.]
Series: Memoirs of the American Mathematical Society ; no. 30.
Publication details: Providence, R.I.: American Mathematical Society, 1959
Availability: Items available for loan: Castorina (1).

15.
Oeuvres scientifiques/ René Baire ; publiées sous la direction de Pierre Lelong, avec la collaboration de Pierre Dugac. by
  • Baire, René, 1874-1932
  • Lelong, Pierre
  • Dugac, Pierre
Publication details: Paris: Gauthier-villars, c1990
Availability: Items available for reference: Castorina: Not For Loan (1).

16.
Théorie des ensembles/ Andrée Bastiani. by
  • Bastiani, Andrée
Publication details: Paris: Centre de documentation universitaire, 1970
Availability: Items available for loan: Castorina (1)Call number: 511.322 B326t 1970 IMPA.

17.
The descriptive set theory of Polish group actions/ Howard Becker, Alexander S. Kechris. by
  • Becker, Howard
  • Kechris, A. S, 1946-
Series: London Mathematical Society lecture note series ; 232
Publication details: New York: Cambridge University Press, 1996
Availability: Items available for loan: Castorina (1)Call number: 514.32 B395d 1996 IMPA.

18.
Topics in set theory: Lebesgue measurability, large cardinals, forcing axioms, rho-functions/ M. Bekkali. by
  • Bekkali, M. (Mohamed), 1956-
Series: Lecture notes in mathematics (Springer-Verlag) ; 1476.
Publication details: Berlin ; New York: Springer-Verlag, c1991
Availability: Items available for loan: Castorina (1).

19.
Toposes and local set theories: an introduction/ J. L. Bell. by
  • Bell, J. L. (John Lane)
Series: Oxford logic guides ; 14 | Oxford science publications
Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1988
Availability: Items available for loan: Castorina (1)Call number: 511.322 B433t 1988 IMPA.

20.
Boolean-valued models and independence proofs in set theory/ J.L. Bell. by
  • Bell, J. L. (John Lane)
Series: Oxford logic guides ; 12 | Oxford science publications
Edition: 2nd ed.
Publication details: Oxford: Clarendon Press, 1985
Availability: Items available for loan: Castorina (1)Call number: 511.322 B433b 1985 IMPA.

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


Powered by Koha