Intuitionistic logic, model theory and forcing /
Guardado en:
| Autor Principal: | Fitting, Melvin, 1942- |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
North-Holland,
1969.
|
| Series: | Studies in logic and the foundations of mathematics
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Semantic construction of intuitionistic logic /
por: Beth, Evert Willem.
Publicado: (1956) -
Semantical investigations in heyting's intuitionistic logic /
por: Gabbay, Dov M.
Publicado: (1981) -
Unified theory of nuclear models and forces /
por: Brown, Gerald E.
Publicado: (1971) -
First-order logic and automated theorem proving /
por: Fitting, Melvin, 1942-
Publicado: (1996) -
Meson theory of nuclear forces /
por: Pauli, Wolfgang.
Publicado: (1948)
