Curry, Haskell B.
A theory of formal deducibility / Haskell B. Curry
(Visualizza in formato Marc21)
|
|
Pubblicazione |
Notre Dame (IN) : [University of Notre Dame], 1957
|
Descrizione fisica |
11, 129 p. ; 23 cm
|
Collana |
Notre Dame mathematical lectures ; 006
|
Titolo uniforme di collana |
Notre Dame mathematical lectures ; 006.
|
Note |
Testo litografato.
c.1950, reprinted 1957. |
Classe di argomenti |
Filosofia. Logica. Epistemologia. Gnoseologia -- Logica matematica - Logica simbolica
|
Classificazione |
642 G
|
Livello bibliografico | Monografia |
Formato |
Materiale linguistico
|
Lingua |
Inglese
|
Record Nr. | 220884BIB |