H Intuitionistic logic model theory and forcing
1969
191 p. ; 23 cm
34078-14472
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 34078 | 1010050 | GALERIE | |
2 | 14472 | 1025617 | GALERIE |
ISBN10 : 0-7204-2256-6
Type de doc : M
Ville d'édition : Amsterdam ; London
Pays d'édition : nl
Langue ouvrage : eng
Collection : Studies in logic and the foundations of mathematics
ISSN Collection : 0049-237X
Class. Math. 1991 : 03Cxx ; 03F55
Class. Library : 79-102718
Lien SUDOC : https://www.sudoc.fr/004629426