A theory of formal deducibility /
Guardado en:
| Autor Principal: | Curry, Haskell B. 1900- |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Notre Dame, Indiana :
[University of Notre Dame],
1950.
|
| Series: | Notre Dame mathematical lectures ;
no. 6 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
A theory of formal deducibility /
por: Curry, Haskell B. 1900-
Publicado: (1966) -
A formalization of set theory without variables /
por: Tarski, Alfred.
Publicado: (1987) -
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem.
Publicado: (1962) -
Semantic entailment and formal derivability /
por: Beth, Evert Willem.
Publicado: (1955) -
Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Publicado: (1965)
