skip to main content
Langue :
Afficher les résultats avec :
Filtré par : Langue: Russe supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical intuitionism : introduction to proof theory
Mathematical intuitionism : introduction to proof theory
Material Type:
Livre 		Ajouter au Panier

Mathematical intuitionism : introduction to proof theory

Dragaline, Albert Grigorievitch ; Mendelson, Elliott (1931-...) ()

Appartient à la collection : Translations of mathematical monographs, 67, ISSN 0065-9282

Providence, R.I.. American Mathematical Society, cop. 1988

Disponible(->>)

2
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications : Tihany [Hongrie], 11-15 septembre 1962
Material Type:
Livre 		Ajouter au Panier

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications : Tihany [Hongrie], 11-15 septembre 1962

Kalmár, László (1905-1976) (Ed.) ; Magyar tudományos akadémia. Könyvtár (Ed.) ; Bólyai János matematikai társulat (Ed.)

Appartient à la collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, 19, ISSN 0530-7554

Paris. Gauthier-Villars. Louvain. E. Nauwelaerts. Budapest. Akadémiai Kiadó, 1965, cop. 1965

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

Refine Search Results

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :
  • Bibliothèque Diderot de Lyon 5, parvis René Descartes BP 7000 69342 Lyon cedex 07 FRANCE

Recherche dans les bases de données distantes en cours. Merci de patienter.