Your search returned 12 results.

Sort
Results
1.
Alfred Tarski: life and logic/ Anita Burdman Feferman, Solomon Feferman. by
  • Feferman, Anita Burdman
  • Feferman, Solomon
Publication details: Cambridge, UK: Cambridge University Press, 2004
Availability: Items available for loan: Castorina (1)Call number: 510.92 F295a 2004 IMPA.

2.
Bertrand Russell and the origins of the set-theoretic 'paradoxes'/ Alejandro R. Garciadiego. by
  • Garciadiego Dantan, Alejandro Ricardo
Language: English Original language: Spanish
Publication details: Basel ; Boston: Birkhäuser, 1992
Availability: Items available for loan: Castorina (1)Call number: 510.92 G216b 1992 IMPA.

3.
The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel/ I. Grattan-Guinness. by
  • Grattan-Guinness, I
Publication details: Princeton, N.J.: Princeton University Press, 2000
Online access:
Availability: Items available for loan: Castorina (1)Call number: 510.9 G773s 2000 IMPA.

4.
Hausdorff on ordered sets/ J.M. Plotkin, editor ; translated by J.M. Plotkin. by
  • Hausdorff, Felix, 1868-1942
  • Plotkin, J. M. (Jacob M.), 1941-
Series: History of mathematics ; v.25,
Language: English Original language: German
Publication details: Providence, R.I.: American Mathematical Society: London Mathematical Society, c2005
Availability: Items available for loan: Castorina (1)Call number: 510.9 H376h 2005 IMPA.

5.
Proofs of the Cantor-Bernstein Theorem: a mathematical excursion/ Arie Hinkis. by
  • Hinkis, Arie
Series: Science networks historical studies ; v. 45.
Publication details: [Basel]; Basel: Birkhäuser; Springer, 2013
Availability: Items available for loan: Castorina (1)Call number: 510.92 H663p 2013 IMPA.

6.
The adventure of reason: interplay between philosophy of mathematics and mathematical logic, 1900-1940/ Paolo Mancosu. by
  • Mancosu, Paolo [author.]
Publisher: Oxford: Oxford University Press, 2014
Availability: Items available for loan: Castorina (1)Call number: 510.9 M269a 2014 IMPA.

7.
Logic's lost genius: the life of Gerhard Gentzen/ Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor. by
  • Menzler-Trott, Eckart
Series: History of mathematics ; v. 33
Edition: [English ed.].
Language: English Original language: German
Publication details: Providence, RI: London: American Mathematical Society; London Mathematical Society, c2007
Availability: Items available for loan: Castorina (1)Call number: 510.92 M551l 2007 IMPA.

8.
Une Philosophie de savant: Henri Poincaré et la logique mathématique/ Anne-Françoise Schmid. by
  • Schmid, Anne Françoise
Series: Algorithme
Publication details: Paris: F. Maspero, 1978
Availability: Items available for loan: Castorina (1)Call number: 510.92 S348p 1978 IMPA.

9.
Logique et mathématique chez Bernard Bolzano/ par Jan Sebestik. by
  • Sebestik, Jan
Series: Histoire des sciences. Textes et études
Publication details: Paris: J. Vrin, 1992
Availability: Items available for loan: Castorina (1)Call number: 510.92 S443l 1992 IMPA.

10.
La révolution symbolique: La constitution de l'écriture symbolique mathématique/ Michel Serfati ; préface de Jacques Bouveresse. by
  • Serfati, Michel
Series: Transphilosophiques
Publication details: Paris: Petra, 2005
Availability: Items available for loan: Castorina (1)Call number: 510.9 S483r 2005 IMPA.

11.
The Boole-De Morgan correspondence, 1842-1864/ edited by G.C. Smith. by
  • Smith, G. C., MA
  • De Morgan, Augustus, 1806-1871
  • Smith, G. C., MA
Series: Oxford logic guides | Oxford science publications
Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1982
Availability: Items available for loan: Castorina (1)Call number: 510.9 S648b 1982 IMPA.

12.
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics/ Jan von Plato. by
  • Von Plato, Jan [author.]
Series: Sources and studies in the history of mathematics and physical sciences
Publisher: Cham, Switzerland: Springer, [2017]
Availability: Items available for loan: Castorina (1)Call number: 510.9 V945s 2017 IMPA.

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


Powered by Koha