Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Elements in Philosophy and Logic Ser.: Higher-Order Logic and Type Theory by John L. Bell (2022, Trade Paperback)
Rarewaves (623712)
97.8% positive feedback
Price:
US $31.51
ApproximatelyPHP 1,751.86
+ $3.99 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCambridge University Press
ISBN-101108986900
ISBN-139781108986908
eBay Product ID (ePID)4057249419
Product Key Features
Number of Pages75 Pages
Publication NameHigher-Order Logic and Type Theory
LanguageEnglish
Publication Year2022
SubjectGeneral, Logic
FeaturesNew Edition
TypeTextbook
Subject AreaMathematics, Philosophy
AuthorJohn L. Bell
SeriesElements in Philosophy and Logic Ser.
FormatTrade Paperback
Dimensions
Item Height0.2 in
Item Length9 in
Item Width6 in
Additional Product Features
Dewey Edition23
IllustratedYes
Dewey Decimal511.3
Edition DescriptionNew Edition
Table Of Content1. Second- Order Logic and Higher-Order Logic; 2. Type Theory and its Origins; 3. Local set theory; 4. Newer Forms of Type Theory Based on the Doctrine of 'Propositions as Types'; Appendix; The Semantics of Local Set Theory/Intuitionistic Higher-Order Logic.
SynopsisThis Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined., 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.
LC Classification NumberQA9
Be the first to write a review
