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.
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 | ||
| ||
Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. seldin
| Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. seldin |
| Autore | Hindley, J. Roger |
| Pubbl/distr/stampa | Torino : Boringhieri, 1975 |
| Descrizione fisica | 153 p. ; 21 cm. |
| Disciplina | 510 |
| Altri autori (Persone) |
Lercher, Bruceauthor
Seldin, Jonathan P. |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | Mathematical logic and foundations-textbooks |
| Classificazione | AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001036989707536 |
|
Hindley, J. Roger
|
||
| Torino : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||