We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Science
  5. Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

By John L. (University of Western Ontario) Bell

part of the Elements in Philosophy and Logic series

Higher-Order Logic and Type Theory by John L. (University of Western Ontario) Bell
About Higher-Order Logic and Type Theory

An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.

Show more
  • Language:
  • English
  • ISBN:
  • 9781108986908
  • Binding:
  • Paperback
  • Pages:
  • 75
  • Published:
  • March 30, 2022
  • Edition:
  • Dimensions:
  • 228x152x8 mm.
  • Weight:
  • 148 g.
  In stock
Delivery: 3-5 business days
Expected delivery: January 8, 2025

About John L. (University of Western Ontario) Bell

View all books by John L. (University of Western Ontario) Bell

Description of Higher-Order Logic and Type Theory

An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.

User ratings of Higher-Order Logic and Type Theory



Others also bought..
Find similar books
The book Higher-Order Logic and Type Theory can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.