Your search returned 34 results.

Sort
Results
1.
Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré. by
  • Paris (Université. Centre d'études de logique symbolique
Series: Collection de logique mathématique : sér. A ; 5.
Language: freengger
Publication details: Paris: Gauthier-Villars, 1954
Availability: Items available for loan: Castorina (2)Call number: 511.3 A652 1954 IMPA, ...

2.
Séminaire de complexité algorithmique et de logique 1986-1987-1988/ P. Michel, J.P. Ressayre. by
  • Ressayre, J.-P. (Jean-Pierre)
Series: Publications mathématiques de l'Université Paris VII
Publication details: Paris: U.E.R. de Mathemátiques, 1989
Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1988 IMPA.

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

4.
Séminaire général de logique, 1983-1984/ F. Delon, D. Lascar, M. Parigot, [editeurs]. by
  • Delon, F. (Françoise)
  • Lascar, D. (Daniel), 1942-
  • Parigot, M. (Michel)
  • Université de Paris VII
Series: Publications mathématiques de l'Université Paris VII ; 27.
Publication details: [Paris]: U.E.R. de Mathemátiques, [1986?]
Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 1986 IMPA.

5.
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications: Tihany, 11-15 Septembre 1962/ éditeur, László Kalmár. by
  • Kalmár, Lázló
  • Magyar Tudományos Akadémia. Matematikai és Fizikai Tudományok Osztálya
  • Bolyai János Matematikai Társulat
  • Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications (1962: Tihany, Hungary)
Series: Collection de logique mathématique : sér. A ; 19.
Language: freenggerrus
Publication details: Paris: Louvain: Gauthier-Villars, E. Nauwelaerts, 1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 C714 1965 IMPA.

6.
Séminaire général de logique, 1982-83/ [edité par] Françoise Delon ... [et al.]. by
  • Delon, F. (Françoise)
  • Université de Paris VII. Séminaire général de logique
Series: Publications mathématiques de l'Université Paris VII ; 19
Publication details: [Paris]: U.E.R. de Mathemátiques, [1983?]
Availability: Items available for loan: Castorina (1)Call number: 511.3 S471 [1983?] 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.
Manuel de logique scientifique, remplaçant et complétant les Éléments de logique scientifique, 1942/ Marcel Boll. by
  • Boll, Marcel, 1886-
Publication details: Paris: Dunod, 1948
Availability: Items available for loan: Castorina (1)Call number: 511.3 B691m 1948 IMPA.

12.
L'algèbre de la logique/ par Louis Couturat. by
  • Couturat, Louis, 1868-1914
Series: Scientia. Série physico-mathématique ; no 24.
Edition: 2. éd.
Publication details: [Paris]: Gauthier-Villars, 1914]
Availability: Items available for loan: Castorina (1)Call number: 511.3 C872a 1914 IMPA.

13.
Leçons de logique algébrique/ Haskell B. Curry. by
  • Curry, Haskell B. (Haskell Brooks), 1900-
Series: Collection de logique mathématique : sér. A ; 2.
Publication details: Paris: Gauthier-Villars, 1952
Availability: Items available for loan: Castorina (1)Call number: 511.3 C976l 1952 IMPA.

14.
Sur les algèbres de Hilbert/ Traduit de l'espagnol par Luisa Iturrioz. Préface de Jean Porte. by
  • Diego, Antonio
Series: Collection de logique mathématique : sér. A ; 21.
Publication details: Paris: Gauthier-Villars, 1966
Availability: Items available for loan: Castorina (1)Call number: 512.5 D559s 1966 IMPA.

15.
Initiation a la logique/ Dominique Dubarle. by
  • Dubarle, Dominique
Series: Collection de logique mathématique : sér. A ; 13.
Publication details: Paris: Gauthier-Villars, 1957
Availability: Items available for loan: Castorina (1)Call number: 511.3 D813i 1957 IMPA.

16.
Cours de logique mathématique;: Vol. 1: Relation, formule logique, compacité, complétude/ Roland Fraissé. by
  • Fraissé, Roland
Series: Collection de logique mathématique : sér. A ; no. 23.
Publication details: Paris: Gauthier-Villars, 1967
Availability: Items available for loan: Castorina (1)Call number: 511.3 F812c 1967 IMPA.

17.
Cours de logique mathématique, Tome 2: Théorie des modèles/ Roland Fraïssé. by
  • Fraissé, Roland
Series: Collection de logique mathématique : sér. A
Edition: 2. éd. revue et modifiée.
Publication details: Paris: Gauthier-Villars, 1972
Availability: Items available for loan: Castorina (1)Call number: 511.3 F812c 1972 IMPA.

18.
É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.

19.
Logique mathemátique appliquée. by
  • Freudenthal, Hans, 1905-
Series: Collection de logique mathématique : sér. A ; Collection de logique mathématique : sér. A
Publication details: Paris: Gauthier-Villars, 1958
Availability: Items available for loan: Castorina (1)Call number: 511.352 F889l 1958 IMPA.

20.
Théorie générale des structures/ par Valère Glivenko. by
  • Glivenko, V
Series: Exposés d'analyse générale
Publication details: Paris: Hermann, 1938
Availability: Items available for loan: Castorina (1)Call number: 514.74 G561t 1938 IMPA.

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


Powered by Koha