A Theory of Formal Deducibility / by Haskell B. Curry |
Autore | Curry, Haskell B. |
Edizione | [3rd printing] |
Pubbl/distr/stampa | Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950 |
Descrizione fisica | xi, 129 p. ; 23 cm |
Disciplina | 160 |
Collana | Notre Dame Mathematical Lectures |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000980090403321 |
Curry, Haskell B.
![]() |
||
Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Combinatory Logic / by Curry,Hindlet and Seldin |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | London [etc.] : North-Holland, 1972 |
Collana | Studies in logic and the foundations of mathematics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001142800403321 |
Curry, Haskell B.
![]() |
||
London [etc.] : North-Holland, 1972 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Combinatory logic / Haskell B. Curry ... [et al.] |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | Amsterdam, : North-Holland, 1958-1972 |
Descrizione fisica | 2 v. ; 23 cm |
Disciplina |
160
511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica
Ricorsività Logica combinatoria Logica e fondamenti |
ISBN | 0-7204-2208-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000980060403321 |
Curry, Haskell B.
![]() |
||
Amsterdam, : North-Holland, 1958-1972 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Combinatory logic / Haskell B. Curry, Robert Feys, J. Roger Hindley, Jonathan P. Seldin ; with two sections by William Craig |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1958-1972 |
Descrizione fisica | 2 v. ; 24 cm. |
Disciplina | 511.3 |
Altri autori (Persone) |
Feys, Robertauthor
Hindley, J. Roger Seldin, Jonathan P. Craig, William |
Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X |
Soggetto topico | Combinatory logic |
ISBN | 0720422086 (v. 2) |
Classificazione |
AMS 03B40
QA9.5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | en |
Record Nr. | UNISALENTO-991000759389707536 |
Curry, Haskell B.
![]() |
||
Amsterdam : North-Holland, 1958-1972 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of mathematical logic / Haskell B. Curry |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | New York, : Dover, 1977 |
Descrizione fisica | VIII, 408 p. : ill. ; 21 cm. |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 978-04-86634-62-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0054662 |
Curry, Haskell B.
![]() |
||
New York, : Dover, 1977 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of mathematical logic / Haskell B. Curry |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | New York, : Dover, 1977 |
Descrizione fisica | VIII, 408 p. : ill. ; 21 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 978-04-86634-62-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0054662 |
Curry, Haskell B.
![]() |
||
New York, : Dover, 1977 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of mathematical logic / Haskell B. Curry |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | New York : McGraw-Hill, [1963] |
Descrizione fisica | xii, 408 p. : ill. ; 24 cm |
Disciplina |
519
511.3 |
Collana | McGraw-Hill series in higher mathematics |
Soggetto non controllato |
Fondamenti della logica matematica e probabilità
Logica e fondamenti |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000980100403321 |
Curry, Haskell B.
![]() |
||
New York : McGraw-Hill, [1963] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Leȯns de logique algebrique / Haskell B. Curry |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | Paris : Gauthier-Villars ( (Louvain) : Nauwelaerts, 1952 |
Descrizione fisica | 163 p. : ill. ; 25 cm |
Disciplina | 511.3 |
Collana | Collection de logique mathématique, Série A |
Soggetto non controllato | Logica matematica |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000006350403321 |
Curry, Haskell B.
![]() |
||
Paris : Gauthier-Villars ( (Louvain) : Nauwelaerts, 1952 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Outlines of a formalist philosophy of mathematics / by Curry H.B. |
Autore | Curry, Haskell B. |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1970 |
Collana | Studies in logic and the foundations of mathematics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001142790403321 |
Curry, Haskell B.
![]() |
||
Amsterdam : North-Holland, 1970 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Outlines of a formalist philosophy of mathematics / Haskell B. Curry |
Autore | Curry, Haskell B. |
Edizione | [3rd printing] |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1970 |
Descrizione fisica | VII, 75 p. ; 23 cm |
Disciplina | 519 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato | Fondamenti della logica matematica e probabilità |
ISBN | 7204-2206-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000980050403321 |
Curry, Haskell B.
![]() |
||
Amsterdam [etc.] : North-Holland, 1970 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|