Combinatory logic / Haskell B. Curry...[et. al] ; A. Heyting...[et al.] (Eds.) |
Autore | HASKELL, B. Curry |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1972-74 |
Descrizione fisica | v. : ill. ; 23 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
< |
Record Nr. | UNISA-990003228810203316 |
HASKELL, B. Curry | ||
Amsterdam : North-Holland, 1972-74 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Combinatory logic / Haskell B. Curry, Robert Feys |
Autore | HASKELL, B. Curry |
Pubbl/distr/stampa | Amsterdam : North Holland, 1968 |
Descrizione fisica | XVI, 422 p. ; 24 cm |
Altri autori (Persone) | FEYS, Robert |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001651090203316 |
HASKELL, B. Curry | ||
Amsterdam : North Holland, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Outlines of a formalist philosophy of mathematics / Haskell B. Curry...[et. al] ; L.E.J. Brouwer...[et al.] (Eds.) |
Autore | HASKELL, B. Curry |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1970 |
Descrizione fisica | VII, 75 p. : ill. ; 23 cm |
Disciplina | 510.1 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico | Matematica |
ISBN | 7204-2206-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003228830203316 |
HASKELL, B. Curry | ||
Amsterdam : North-Holland, 1970 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|