Higher-Order Logic and Type Theory - Elements in Philosophy and Logic - Bell, John L. (University of Western Ontario) - Books - Cambridge University Press - 9781108986908 - March 31, 2022
In case cover and title do not match, the title is correct

Bell, John L. (University of Western Ontario)
Higher-Order Logic and Type Theory - Elements in Philosophy and Logic New edition

Price
$ 34.99
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 16 - 26
Christmas presents can be returned until 31 January
Get notified about new Bell, John L. (University of Western Ontario) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

75 pages, Worked examples or Exercises; Worked examples or Exercises

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 31, 2022
ISBN13 9781108986908
Publishers Cambridge University Press
Pages 88
Dimensions 228 × 152 × 8 mm   ·   148 g
Language English  

More from the same publisher

See all of Bell, John L. (University of Western Ontario)