Vai al contenuto principale della pagina

Introduction to higher order categorical logic / J. Lambek, P. J. Scott



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Lambek, Joachim Visualizza persona
Titolo: Introduction to higher order categorical logic / J. Lambek, P. J. Scott Visualizza cluster
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  Visualizza cluster
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
Serie: Cambridge studies in advanced mathematics Cambridge . -Cambridge university ; 7