Categorical logic and type theory [e-book] / Bart Jacobs
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Jacobs, Bart
|
| Titolo: |
Categorical logic and type theory [e-book] / Bart Jacobs
|
| Pubblicazione: | Amsterdam ; New York : Elsevier Science, c1999 |
| Descrizione fisica: | xviii, 760 p. : ill. ; 23 cm |
| Disciplina: | 511.3 |
| Soggetto topico: | Type theory |
| Categories (Mathematics) | |
| Nota di bibliografia: | Includes bibliographical references (p. 717-733) and indexes |
| ISBN: | 9780444501707 |
| 0444501703 | |
| Formato: | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991003272389707536 |
| Lo trovi qui: | Univ. del Salento |
| Localizzazioni e accesso elettronico | http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141 |
| Opac: | Controlla la disponibilità qui |
Serie:
Studies in logic and the foundations of mathematics ; 141