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.
An introduction to non-classical logic : from if to is / Graham Priest
| An introduction to non-classical logic : from if to is / Graham Priest |
| Autore | Priest, Graham |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2008 |
| Descrizione fisica | xxxii, 613 p. ; 25 cm |
| Disciplina | 511.3 |
| Soggetto topico | Nonclassical mathematical logic |
| ISBN | 9780521670265 |
| Classificazione |
AMS 03-01
AMS 03B20 AMS 03B45 AMS 03B50 LC QA9.4.P75 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001395879707536 |
Priest, Graham
|
||
| Cambridge ; New York : Cambridge University Press, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
| Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi |
| Autore | Homer, Steven |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
| Descrizione fisica | 162 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Nerode, Anil
Platek, Richard A. Sacks, Gerald E. Scedrov, Andre Odifreddi, Piergiorgio |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1429 |
| Soggetto topico |
Computer science - Congresses
Logic - Congresses |
| ISBN | 3540527346 |
| Classificazione |
AMS 03B20
AMS 03B40 AMS 03B70 AMS 03D15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001093939707536 |
|
Homer, Steven
|
||
| Berlin : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and computer science [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 / by Steven Homer ... [et al.] ; edited by Piergiorgio Odifreddi
| Logic and computer science [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 / by Steven Homer ... [et al.] ; edited by Piergiorgio Odifreddi |
| Autore | Homer, Steven |
| Pubbl/distr/stampa | Berlin : Springer, 1990 |
| Descrizione fisica | 1 online resource (v, 162 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | Odifreddi, Piergiorgio |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1429 |
| Soggetto topico |
Mathematics
Computer science Logic, Symbolic and mathematical |
| ISBN | 9783540471356 |
| Classificazione |
AMS 03B20
AMS 03B40 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002236799707536 |
|
Homer, Steven
|
||
| Berlin : Springer, 1990 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||