Intuitionistic logic model theory and forcing

Enregistré dans:
Détails bibliographiques
Auteur principal: Fitting, Melvin Chris, 1942-
Format: Livre papier
Langue:Anglais
Publié: Amsterdam ; London : North-Holland 1969, copyright 1969.
Collection:Studies in logic and the foundations of mathematics
Sujets:
Autres localisations: Voir dans le Sudoc
LEADER 00894nam a22002537a 4500
001 376709
008 990302t19691969xxe ||| |||| 00| 0 eng d
009 PPN004629426
020 |a 0720422566 (br.) 
041 0 |a eng 
082 |a 512/.817 
084 |a 03Cxx. 1991 
084 |a 03F55. 1991 
084 |a F.4.1 
100 1 |a Fitting, Melvin Chris,  |d 1942- 
245 1 0 |a Intuitionistic logic model theory and forcing   |c Melvin Chris Fitting,... 
260 |a Amsterdam ;  |a London :  |b North-Holland,  |c 1969,  |c copyright 1969. 
300 |a 1 vol. (191 p.) ;  |c 23 cm. 
490 0 |a Studies in logic and the foundations of mathematics 
504 |a Bibliogr. p.[188]-189. Index 
650 |a Mathématiques intuitionnistes 
650 |a Théorie des modèles 
650 |a Ensembles, Théorie axiomatique des 
997 |0 376709  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/IDP/  |z Orléans, IDP, 5389 FIT