Autore: |
Lambek, Joachim
|
Titolo: |
Introduction to higher order categorical logic / J. Lambek, P. J. Scott
|
Pubblicazione: |
Cambridge, : Cambridge university, 1988 |
Descrizione fisica: |
X, 293 p. ; 24 cm |
Soggetto topico: |
03-XX - Mathematical logic and foundations [MSC 2020] |
|
03B16 - Higher-order logic [MSC 2020] |
|
03B38 - Type theory [MSC 2020] |
|
03B40 - Combinatory logic and lambda-calculus [MSC 2020] |
|
03F50 - Metamathematics of constructive systems [MSC 2020] |
|
03G30 - Categorical logic, topoi [MSC 2020] |
|
18-XX - Category theory; homological algebra [MSC 2020] |
|
18A15 - Foundations, relations to logic and deductive systems [MSC 2020] |
|
18B25 - Topoi [MSC 2020] |
|
18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] |
Altri autori: |
Scott, Philip J.
|
Titolo autorizzato: |
Introduction to higher order categorical logic |
ISBN: |
978-05-213-5653-4 |
Formato: |
Materiale a stampa |
Livello bibliografico |
Monografia |
Lingua di pubblicazione: |
Inglese |
Record Nr.: | VAN00056893 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico |
https://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=it |
Opac: |
Controlla la disponibilità qui |