Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Theory of Formal Deducibility / by Haskell B. Curry
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Combinatory Logic / by Curry,Hindlet and Seldin
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Combinatory logic / Haskell B. Curry ... [et al.]
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Foundations of mathematical logic / Haskell B. Curry
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Foundations of mathematical logic / Haskell B. Curry
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Foundations of mathematical logic / Haskell B. Curry
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Leȯns de logique algebrique / Haskell B. Curry
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Outlines of a formalist philosophy of mathematics / by Curry H.B.
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Outlines of a formalist philosophy of mathematics / Haskell B. Curry
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
