Posterior:
Modelo estándar de la
Arriba:
Semántica básica del cálculo
Anterior:
Algebras booleanas
Teoría de conjuntos
Subsections
Modelo estándar de la teoría de Zermelo y Fraenkel
Modelo constructible de la teoría de Zermelo y Fraenkel
Guillermo Morales-Luna
2004-07-27