0
Your cart

Your cart is empty

Books > Humanities > Philosophy > Topics in philosophy > Logic

Buy Now

Higher-Order Logic and Type Theory (Paperback, New Ed) Loot Price: R566
Discovery Miles 5 660
Higher-Order Logic and Type Theory (Paperback, New Ed): John L. Bell

Higher-Order Logic and Type Theory (Paperback, New Ed)

John L. Bell

Series: Elements in Philosophy and Logic

 (sign in to rate)
Loot Price R566 Discovery Miles 5 660

Bookmark and Share

Expected to ship within 12 - 17 working days

This 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.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Series: Elements in Philosophy and Logic
Release date: March 2022
Authors: John L. Bell
Dimensions: 229 x 152 x 5mm (L x W x T)
Format: Paperback - Trade
Pages: 75
Edition: New Ed
ISBN-13: 978-1-108-98690-8
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
Books > Philosophy > Topics in philosophy > Logic
Promotions
LSN: 1-108-98690-0
Barcode: 9781108986908

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Articulating Medieval Logic
Terence Parsons Hardcover R3,614 Discovery Miles 36 140
Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,160 Discovery Miles 31 600
Foundations of Logical Consequence
Colin R. Caret, Ole T. Hjortland Hardcover R4,023 Discovery Miles 40 230
Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,641 Discovery Miles 36 410
The Yablo Paradox - An Essay on…
Roy T. Cook Hardcover R2,703 Discovery Miles 27 030
The Construction of Logical Space
Agustin Rayo Hardcover R2,743 Discovery Miles 27 430
Frege's Conception of Logic
Patricia A. Blanchette Hardcover R2,936 Discovery Miles 29 360
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,225 Discovery Miles 52 250
Empiricism and Experience
Anil Gupta Hardcover R2,041 Discovery Miles 20 410
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,410 Discovery Miles 54 100
Potentiality - From Dispositions to…
Barbara Vetter Hardcover R3,394 Discovery Miles 33 940
Formal Logic
Prior Hardcover R2,110 R1,287 Discovery Miles 12 870

See more

Partners