m
MathOuvrage

H 0 Intuitionistic logic model theory and forcing

Fitting, Melvin Chris

North-Holland

1969

191 p. ; 23 cm

34078-14472

intuitionnisme ; théorie des modèles


Exemplaires

Nbre d'exemplaires : 2
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

Z