Your search returned 22 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.
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.

3.
L'existence en mathématiques;: conférences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 mars au 7 avril 1954. by
  • Beth, Evert Willem
Series: Collection de logique mathématique : sér. A ; 10.
Publication details: Paris: Gauthier-Villars, 1956
Availability: Items available for loan: Castorina (1)Call number: 511.3 B562e 1956 IMPA.

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

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

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

7.
Les fonctions combinatoires et les isols/ par J. C. E. Dekker. by
  • Dekker, Jacob C. E, 1921-
Series: Collection de logique mathématique : sér. A ; 22.
Publication details: Paris: Gauthier-Villars, 1966
Availability: Items available for loan: Castorina (1)Call number: 511.3 D328f 1966 IMPA.

8.
Axiomatique intuitionniste sans negation de la geometrie projective/ Nicole Dequoy. by
  • Dequoy, Nicole, 1923-
Series: Collection de logique mathématique : sér. A ; 6.
Publication details: Paris: Gauthier-Villars, 1955
Availability: Items available for loan: Castorina (2)Call number: 511.3 D426a 1955 IMPA, ...

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

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

11.
Pages choisies d'analyse générale. by
  • Fréchet, Maurice, 1878-
Series: Collection de logique mathématique : sér. A ; 3.
Publication details: Paris: Gauthier-Villars, 1953
Availability: Items available for reference: Castorina: Not For Loan (1).

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

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

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

15.
Fonctions récursives/ Andrzej Grzegorczyk. by
  • Grzegorczyk, Andrzej
Series: Collection de logique mathématique, sér. A ; 17
Language: French Original language: Polish
Publication details: Paris: Gauthier-Villars, 1961
Availability: Items available for loan: Castorina (1)Call number: 511.352 G895f 1961 IMPA.

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

17.
Les fondements des mathématiques; intuitionnisme, théorie de la démonstration/ Traduction par Mme P. Fevrier. by
  • Heyting, A. (Arend), 1898-
Series: Collection de logique mathématique : sér. A ; 9.
Publication details: Paris: Gauthier-Villars, 1955
Availability: Items available for loan: Castorina (1)Call number: 511.3 IMPA.

18.
La Philosophie des mathématiques de Henri Poincaré/ par J. J. A. Mooij. by
  • Mooij, J. J. A. (Jan Johann Albinn)
Series: Collection de logique mathématique : sér. A ; 20.
Publication details: Paris: Louvain: Gauthier-Villars, E. Nauwelaerts, 1966
Availability: Items available for loan: Castorina (1)Call number: 510.1 M817p 1966 IMPA.

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

20.
Théorie métamathématique des idéaux/ Abraham Robinson. by
  • Robinson, Abraham, 1918-1974
Series: Collection de logique mathématique : sér. A ; 8.
Publication details: Paris: Gauthier-Villars, 1955
Availability: Items available for loan: Castorina (1)Call number: 511.3 R658t 1955 IMPA.

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


Powered by Koha