Una introducción constructiva a la teoría de modelos /
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Օժանդակ հավաքածու |
| Լեզու: | Spanish |
| Հրապարակվել է: |
Madrid:
Tecnos,
1977.
|
| Հրատարակություն: | primera edición. |
| Շարք: | Matemática.
|
| Խորագրեր: |
Բովանդակություն:
- Noción de retículo
- Retículos distributivos y complementados
- Algebras booleanas
- Noción de topología
- Conjuntos bases y subbases
- un modelo constructivo de valores booleanos para ZF
- EL modelo constructible de Gödel-40.