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

Internet

Texto completo
Texto completo
Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares