Handbook of computability theory / edited by Edward R. Griffor |
Pubbl/distr/stampa | Amsterdam : Elsevier, 1999 |
Descrizione fisica | XII, 727 p. ; 24 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica matematica e fondamenti - Opere di riferimento generale
Collezioni di articoli di contenuto specifico vario |
ISBN | 0-444-89882-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009504330403321 |
Amsterdam : Elsevier, 1999 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of proof theory / edited by Samuel R. Buss |
Pubbl/distr/stampa | Amsterdam : Elsevier, 1998 |
Descrizione fisica | 811 p. ; 24 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica matematica e fondamenti - Opere di riferimento generale
Teoria della dimostrazione - Generale Collezioni di articoli di contenuto specifico vario |
ISBN | 0-444-89840-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009504270403321 |
Amsterdam : Elsevier, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|