Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Cantini, Andrea
|
| Titolo: |
Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini
|
| Pubblicazione: | Amsterdam : Elsevier, 1996 |
| Descrizione fisica: | XII, 461 p. ; 24 cm |
| Disciplina: | 511.3 |
| Soggetto non controllato: | Logica combinatoria e lambda-calcolo |
| Logica matematica e fondamenti - Presentazione di ricerche | |
| Teoria della dimostrazione, generale | |
| Teoria della computabilità e della ricorsione astratte ed assiomatiche | |
| Fondamenti delle teorie classiche | |
| Titolo autorizzato: | Logical frameworks for truth and abstraction |
| ISBN: | 0-444-82306-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990009504070403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | C-30-(135 |
| Opac: | Controlla la disponibilità qui |