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: R597
Discovery Miles 5 970
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 R597 Discovery Miles 5 970

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

Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,863 Discovery Miles 38 630
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,547 Discovery Miles 55 470
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,743 Discovery Miles 57 430
Postmodernity and the Creation of the…
Neil Pitts Hardcover R741 Discovery Miles 7 410
Hume's Problem - Induction and the…
Colin Howson Hardcover R3,738 Discovery Miles 37 380
In Contradiction
Graham Priest Hardcover R4,957 Discovery Miles 49 570
Logic on the Track of Social Change
David Braybrooke, Bryson Brown, … Hardcover R1,576 Discovery Miles 15 760
An Essay Concerning Human Understanding
John Locke Paperback R842 Discovery Miles 8 420
An Essay Concerning Human Understanding
John Locke Paperback R764 Discovery Miles 7 640
An Essay Concerning Human Understanding…
John Locke Paperback R804 Discovery Miles 8 040
An Essay Concerning Human Understanding
John Locke Paperback R651 Discovery Miles 6 510
An Essay Concerning Human Understanding
John Locke Paperback R766 Discovery Miles 7 660

See more

Partners