Your search returned 34 results.

Sort
Results
21.
Les fondements des mathématiques: de la géométrie d'Euclide à la rélativité générale et à l'intuitionisme/ F. Gonseth ; préface de Jacques Hadamard. by
  • Gonseth, Ferdinand, 1890-
Publication details: Paris: A. Blanchard, 1974
Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA.

22.
La structure algébrique des théories mathématiques/ Leon Henkin. by
  • Henkin, Leon
Series: Collection de logique mathématique, sér. A ; 11.
Publication details: Paris: Gauthier-Villars, 1956
Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA.

23.
Écrits logigues/ Avec une préface de Jean Van Heijenoort ... une notice biographique par Claude Chevalley et Albert Lautmann, et une note sur la pensée de Herbrand par Claude Chevalley ... by
  • Herbrand, Jacques, 1908-1931
Series: Bibliothèque de philosophie contemporaine. Logique et philosophie des sciences
Publication details: Paris: Presses Universitaires de France, 1968
Availability: Items available for reference: Castorina: Not For Loan (1).

24.
Logique contemporaine et formalisation/ par Roger Martin. by
  • Martin, Roger
Series: Epiméthée; essais philosophiques
Edition: 1. ed.
Publication details: Paris: Presses universitaires de France, 1964
Availability: Items available for loan: Castorina (1)Call number: 511.3 M382l 1954 IMPA.

25.
Introduction à la logique mathématique/ P. S. Novikov. Traduit par Ch. Sarthou. by
  • Novikov, P. S. (Petr Sergeevich)
Series: Collection universitaire de mathématiques ; 14
Language: frerus
Publication details: Paris: Dunod, 1964
Availability: Items available for loan: Castorina (1)Call number: 511.3 N943i 1964 IMPA.

26.
Les mathématiques et le raisonnement "plausible"/ Présenté et préf. par Louis Couffignal; traduit de l'anglais par Robert Vallée. by
  • Pólya, George, 1887-1985
  • Pólya, George, 1887-1985
Publication details: Paris: Gauthier-Villars, 1958
Availability: Items available for loan: Castorina (1)Call number: 510.7 P781m 1958 IMPA.

27.
La logique déductive dans sa dernière phase de développement/ par Alessandro Padoa. Avec une préface de Giuseppe Peano. by
  • Padoa, Alessandro, 1868-
Publication details: Paris: Gauthier-Villars, 1912
Availability: Items available for loan: Castorina (1)Call number: 511.3 P124l 1912 IMPA.

28.
Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs/ Jean Porte. by
  • Porte, Jean
Series: Collection de logique mathématique : sér. A ; 18.
Publication details: Paris: Gauthier-Villars, 1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 P843r 1965 IMPA.

29.
Introduction á la logistique/ Traduit de l'allemand; par Henri Savonnet by
  • Reichenbach, Hans, 1891-1953
Series: Actualités scientifiques et industrielles ; 794. | Logique et théorie de la science ; 1.
Publication details: Paris: Hermann, 1939
Availability: Items available for loan: Castorina (1)Call number: 511.3 R351i 1939 IMPA.

30.
Deux esquisses de logique/ J. Barkley Rosser. by
  • Rosser, J. Barkley (John Barkley), 1907-
Series: Collection de logique mathématique : sér. A ; 7.
Publication details: Paris: Gauthier-Villars, 1955
Availability: Items available for loan: Castorina (1)Call number: 511.3 R828d 1955 IMPA.

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

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

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

34.
Les systèmes axiomatiques de la théorie des ensembles/ par Hao Wang et McNaughton, Robert. by
  • Wang, Hao, 1921-
  • McNaughton, Robert [joint author.]
Series: Collection de logique mathématique : sér. A ; 4.
Publication details: Paris: Gauthier-Villars, 1953
Availability: Items available for loan: Castorina (1)Call number: 511.322 W246s 1953 IMPA.

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


Powered by Koha