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 Press?],
1966, c1950.
|
| Edición: | [2nd ed.]. |
| Series: | Notre Dame mathematical lectures ;
no. 6 |
| 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: (1950) - [2nd ed.]. -
Deducibility and decidability /
por: Gill, R. R. Rockingham
Publicado: (1990) - [2nd ed.]. -
Outlines of a formalist philosophy of mathematics /
por: Curry, Haskell B. 1900-
Publicado: (1951) - [2nd ed.]. -
Analyse comparee d'experiences d'education permanente /
por: Beraho-Beri, J.
Publicado: (1983) - [2nd ed.]. -
Méthodes américaines d'education générale et technique /
por: Buyse, Omer.
Publicado: (1908) - [2nd ed.].
