Results of search for 'an:26775' › IMPA Library catalog

Results
	1.	No cover image available No cover image available No cover image available 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, ... Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available 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. Place hold Add to cart (remove)
	3.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	4.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available No cover image available Les fondements logiques des mathématiques. by Beth, Evert Willem Series: Collection de logique mathématique, sér. A ; 1 \| 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. Place hold Add to cart (remove)
	6.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	7.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	8.	No cover image available No cover image available No cover image available 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, ... Found in Open Library: Place hold Add to cart (remove)
	9.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	10.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	11.	No cover image available No cover image available No cover image available 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). Found in Open Library: Add to cart (remove)
	12.	No cover image available No cover image available No cover image available 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. Place hold Add to cart (remove)
	13.	No cover image available No cover image available No cover image available 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. Place hold Add to cart (remove)
	14.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	15.	No cover image available No cover image available No cover image available Fonctions récursives/ Andrzej Grzegorczyk. by Grzegorczyk, Andrzej Series: Collection de logique mathématique, sér. A ; 17 \| 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. Found in Open Library: Place hold Add to cart (remove)
	16.	No cover image available No cover image available No cover image available La structure algébrique des théories mathématiques/ Leon Henkin. by Henkin, Leon Series: Collection de logique mathématique, sér. A ; 11. \| 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. Found in Open Library: Place hold Add to cart (remove)
	17.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	18.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	19.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)
	20.	No cover image available No cover image available No cover image available 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. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 22 results.