1
|
Material Type: Livre
|
|
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
Indisponible
(->>)
|
2
|
Material Type: Livre
|
|
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(->>)
|