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.
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 | ||
| ||
Introduzione alla logica formale / Gabriele Lolli
| Introduzione alla logica formale / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Bologna : Il Mulino, c1991 |
| Descrizione fisica | 333 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Strumenti. Filosofia |
| Soggetto topico | Mathematical logic and foundations-textbooks |
| ISBN | 8815029583 |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001037109707536 |
|
Lolli, Gabriele
|
||
| Bologna : Il Mulino, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russell
| Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russell |
| Autore | Whitehead, Alfred North |
| Edizione | [[2nd ed.]] |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1927 (1980 repr.) |
| Descrizione fisica | xlvi, 410 p. ; 20 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Russell, Bertrand |
| Soggetto topico | Mathematical logic and foundations-textbooks |
| ISBN | 052109187X |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001240869707536 |
|
Whitehead, Alfred North
|
||
| Cambridge : Cambridge University Press, 1927 (1980 repr.) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
