Recherche avancée

Intuitionism and proof theory : proceedings of the Summer conference at Buffalo N. Y. 1968 [monographie]

Auteur(s):

Kino, Akiko (Ed.) Myhill, John (1923-1987) (Ed.) Vesley, Richard Eugène (1932-....) (Ed.)

Langue:

anglais

Collection:

Studies in logic and the foundations of mathematics

Editeur, date d'édition:

North-Holland Publishing Company, Inc., 1970

Ville(s) d'édition:

Amsterdam (NL), London (GB)

Congrés:

Intuitionism and proof theory (1968) Buffalo, N. Y. (US)

ISBN:

0-7204-2257-4

ISSN:

0049-237X

Classification MSC:

02.00 (2000)

Notes:

viii ; notes bibliogr. ; 23 cm ; 516 p.

Thèmes:

congres, theorie de la demonstration, mathematiques intuitionnistes, logic, symbolic and mathematical

---

     Exemplaire(s)

---

Cote	Retour
05 KIN 68	Disponible