Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Amsterdam ; London :
North-Holland
cop. 1970.
|
| Collection: | Studies in logic and the foundations of mathematics
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Salle de lecture | CO 144 KIN | Disponible |