Your search returned 40 results.

Sort
Results
1.
Frege and Gödel; two fundamental texts in mathematical logic/ Jean Van Heijenoort. by
  • Frege, Gottlob, 1848-1925
  • Van Heijenoort, Jean, 1912-
  • Godel, Kurt, 1906-1978
Language: engger
Publication details: Cambridge, Mass.: Harvard University Press, 1970
Availability: Items available for loan: Castorina (1)Call number: 511.3 F858 1970 IMPA.

2.
Penser les mathématiques: séminaire de philosophie et mathématiques/ R. Apéry ... [et al.] ; textes préparés et annotés par François Guénard et Gilbert Lelièvre. by
  • Apéry, R. (Roger)
  • Guénard, François
  • Lelievre, Gilbert
Series: Points. Sciences; ; S29
Publication details: [Paris]: Seuil, c1982
Availability: Items available for loan: Castorina (1)Call number: 510.1 P418 1982 IMPA.

3.
Foundations of mathematics: Symposium papers commemorating the sixtieth birthday of Kurt Gödel/ edited by Jack J. Bulloff, Thomas C. Holyoke and S. W. Hahn. by
  • Godel, Kurt, 1906-1978
  • Bulloff, Jack J [ed.]
  • Holyoke, Thomas C [ed.]
  • Hahn, S. W. (Samuel Wilfred), 1921- [ed.]
  • Ohio Academy of Science. Section L (Mathematical Sciences)
Publication details: Berlin: Heidelberg: New York: Springer, 1969
Availability: Items available for loan: Castorina (1)Call number: 510.92 F771 1969 IMPA.

4.
From logic to practice: Italian studies in the philosophy of mathematics/ Gabriele Lolli, Marco Panza, Giorgio Venturi, editors. by
  • Lolli, Gabriele, 1942
  • Panza, Marco [editor.]
  • Venturi, Giorgio [editor.]
Series: Boston studies in the philosophy and history of science ; v. 308.
Publisher: Cham: Springer, [2015]
Availability: Items available for loan: Castorina (1)Call number: 511.3 F931 2015 IMPA.

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

6.
Hilary Putnam on logic and mathematics/ Geoffrey Hellman, Roy T. Cook, editors. by
  • Hellman, Geoffrey [editor.]
  • Cook, Roy T, 1972-
Series: Outstanding contributions to logic ; v. 9.
Publisher: Cham, Switzerland: Springer, [2018]
Availability: Items available for loan: Castorina (1)Call number: 511.3 H641 2018 IMPA.

7.
La notion de nombre chez Dedekind, Cantor, Frege: théories, conceptions et philosophie/ Jean-Pierre Belna ; preface de Claude Imbert. by
  • Belna, Jean-Pierre
Series: Mathesis (Paris, France)
Publication details: Paris: J. Vrin, 1996
Availability: Items available for loan: Castorina (1)Call number: 511.3 B451n 1996 IMPA.

8.
Philosophie des mathématiques/ Paul Bernays ; introduction et traduction de Hourya Benis Sinaceur. by
  • Bernays, Paul, 1888-
Series: Mathesis (Paris, France)
Language: French Original language: German
Publication details: Paris: J. Vrin, 2003
Availability: Items available for loan: Castorina (1)Call number: 510.1 B524p 2003 IMPA.

9.
La crise de la raison et la logique: conférences faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mais, 1956. by
  • Beth, Evert Willem
Series: Collection de logique mathématique : sér. A
Publication details: Paris: Gauthier-Villars, 1957
Availability: Items available for loan: Castorina (1)Call number: 510.1 B562C 1957 IMPA.

10.
Les fondements logiques des mathématiques. by
  • Beth, Evert Willem
Series: Collection de logique mathématique, sér. A ; 1
Edition: 2. éd, rev. et augm.
Publication details: Paris: Gauthier-Villars, 1955
Availability: Items available for loan: Castorina (1)Call number: 511.3 B562f 1955 IMPA.

11.
Introducción a la filosofía matemática/ Walther Brand, Marie Deutschbein ; traducción del alemán y notas de R. Ledesma Ramos. by
  • Brand, Walther
  • Deutschbein, Marie
Language: Spanish Original language: German
Publication details: Madrid: Revista de Occidente, c1930
Availability: Items available for loan: Castorina (1)Call number: 511.3 B817i 1930 IMPA.

12.
Critica dei principi della matematica e questioni di logica. by
  • Cassina, Ugo
Publication details: Roma: Cremonese, 1961
Availability: Items available for loan: Castorina (1)Call number: 511.3 C345c 1961 IMPA.

13.
Meaning and existence in mathematics/ Charles Castonguay. by
  • Castonguay, Charles
Series: Library of exact philosophy ; 9.
Publication details: New York: Springer-Verlag, 1972
Availability: Items available for loan: Castorina (1)Call number: 511.3 C354m 1972 IMPA.

14.
Constructibility and mathematical existence/ Charles S. Chihara. by
  • Chihara, Charles S, 1932-
Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1990
Availability: Items available for loan: Castorina (1)Call number: 511.3 C534c 1990 IMPA.

15.
A primer of formal logic/ by John Cooley, Ph.D. by
  • Cooley, John C. (John Cleveland), 1903-
Publication details: New York: The Macmillan Company, 1942
Availability: Items available for loan: Castorina (1)Call number: 511.3 C774p 1942 IMPA.

16.
Statistical methods and scientific inference. by
  • Fisher, Ronald Aylmer, Sir, 1890-1962
Publication details: Edinburgh: Oliver & Boyd, [1956]
Availability: Items available for loan: Castorina (1)Call number: 519.5 F535s 1956 IMPA.

17.
Begriffsschrift und andere Aufsätze/ Mit E. Husserls und H. Scholz' Anmerkungen. Hrsg. von Ignacio Angelelli. by
  • Frege, Gottlob, 1848-1925
  • Angelelli, Ignacio
Edition: 2. Aufl.
Publication details: Hildesheim: G. Olms, 1964
Availability: Items available for loan: Castorina (1)Call number: 511.3 F858b 1964 IMPA.

18.
Translations from the philosophical writings of Gottlob Frege/ edited Peter Geach and Max Black ; index prepared by E.D. Klemke. by
  • Frege, Gottlob, 1848-1925
  • Geach, P. T. (Peter Thomas), 1916-
  • Black, Max, 1909-
Edition: 3rd ed.
Language: engger
Publication details: Oxford: Blackwell, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 F858t 1980 IMPA.

19.
Écrits logiques et philosophiques/ Gottlob Frege ; traduction et introduction de Claude Imbert. by
  • Frege, Gottlob, 1848-1925
Series: L'ordre philosophique
Language: gerfre
Publication details: Paris: Seuil, 1971
Availability: Items available for loan: Castorina (1)Call number: 511.3 F858é 1971 IMPA.

20.
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/ by Kurt Gödel. by
  • Godel, Kurt, 1906-1978
  • Brown, George William, 1917-
Series: Annals of mathematics studies ; no. 3.
Publication details: Princeton, N.J.: London: Princeton University Press, H. Milford, Oxford university press, 1940
Availability: Items available for loan: Castorina (2)Call number: 511.3 G581c 1940 IMPA, ...

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


Powered by Koha