Intuitionistic logic, model theory and forcing.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Fitting, Melvin, 1942-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1969.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Model theory.
Axiomatic set theory.
Forcing (Model theory)
Logic, Symbolic and mathematical.
Logique symbolique et math�ematique.
Th�eorie axiomatique des ensembles.
Th�eorie des mod�eles.
Forcing (Th�eorie des mod�eles)
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Descripción Física:1 online resource (191 pages)
Bibliografía:Includes bibliographical references (pages 188-189).
ISBN:9780444534187
0444534180

Ejemplares similares