Semantic entailment and formal derivability /
Guardado en:
| Autor Principal: | Beth, Evert Willem. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
Noord-Hollandsche Uitg. Mij.,
1955.
|
| Series: | Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen. Afd. Letterkunde. Nieuwe reeks ;
deel 18, no. 13 |
| Materias: | |
| 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) -
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 epistemology and psychology /
por: Beth, Evert Willem.
Publicado: (1966)
