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

• Autore: Lambek, Joachim
• Pubblicazione: Cambridge, : Cambridge university, 1988
• Descrizione fisica: X, 293 p. ; 24 cm
• Soggetto topico: 18-XX - Category theory; homological algebra [MSC 2020]; 03-XX - Mathematical logic and foundations [MSC 2020]; 03F50 - Metamathematics of constructive systems [MSC 2020]; 18B25 - Topoi [MSC 2020]; 03G30 - Categorical logic, topoi [MSC 2020]; 03B40 - Combinatory logic and lambda-calculus [MSC 2020]; 03B16 - Higher-order logic [MSC 2020]; 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]; 18A15 - Foundations, relations to logic and deductive systems [MSC 2020]; 03B38 - Type theory [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.: VAN0056893
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://books.google.it/books?id=6PY_emBeGjUC&printsec=frontcover&hl=it
• Serie: Cambridge studies in advanced mathematics Cambridge . -Cambridge university ; 7