Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Kurt Gödel: essays for his centennial/ edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. by
  • Godel, Kurt, 1906-1978
  • Feferman, Solomon, 1928-
  • Parsons, Charles, 1933-
  • Simpson, Stephen G. (Stephen George), 1945-
Series: Lecture notes in logic ; 33.
Publication details: Ithaca, NY; New York: Association for Symbolic Logic; Cambridge University Press, 2010
Availability: Items available for loan: Castorina (1)Call number: 511.322 K96 2010 IMPA.

Place hold Add to cart
2.
Philosophical aspects of symbolic reasoning in early modern mathematics/ edited by Albrecht Heeffer and Maarten Van Dyck. by
  • Heeffer, Albrecht
  • Van Dyck, Maarten
Series: Studies in logic ; 26.
Publication details: London: College Publications, 2010
Availability: Items available for loan: Castorina (1)Call number: 510.1 P568 2010 IMPA.

Place hold Add to cart
3.
Model theory: an introduction/ David Marker. by
  • Marker, D (David), 1958-
Series: Graduate texts in mathematics ; 217.
Publication details: New York: Springer, 2010
Availability: Items available for loan: Castorina (1)Call number: 511.3 M345m 2010 IMPA.

Place hold Add to cart
4.
Lectures in logic and set theory/ George Tourlakis. by
  • Tourlakis, George J
Series: Cambridge studies in advanced mathematics ; 82-83.
Edition: 1st pbk. ed.
Publication details: Cambridge, UK; New York: Cambridge University Press, 2010, 2003
Availability: Items available for loan: Castorina (2)Call number: 511.3 T727l 2010 IMPA, ...

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha