Semantic construction of intuitionistic logic /
Guardado en:
| Autor Principal: | Beth, Evert Willem. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
Noord-Hollandsche Uitg. Mij.,
1956.
|
| Series: | Nieuwe reeks - Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde ;
deel 19, no. 11 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Semantic entailment and formal derivability /
por: Beth, Evert Willem.
Publicado: (1955) -
The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995) -
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem.
Publicado: (1962) -
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Publicado: (1973) -
Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002)
