London Jeans

Introduction to Higher-order Categorical Logic (Cambridge Studies in Advanced

Description: In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines.

Price: 107 AUD

Location: Hillsdale, NSW

End Time: 2025-01-07T19:41:31.000Z

Shipping Cost: 31.59 AUD

Product Images

Introduction to Higher-order Categorical Logic (Cambridge Studies in AdvancedIntroduction to Higher-order Categorical Logic (Cambridge Studies in Advanced

Item Specifics

Return shipping will be paid by: Buyer

Returns Accepted: Returns Accepted

Item must be returned within: 60 Days

Return policy details:

EAN: 9780521356534

UPC: 9780521356534

ISBN: 9780521356534

MPN: N/A

Item Length: 23.4 cm

Book Title: Introduction to Higher-Order Categorical Logic

Item Height: 234mm

Item Width: 155mm

Author: J. Lambek, P. J. Scott

Format: Paperback

Language: English

Topic: Popular Philosophy, Mathematics

Publisher: Cambridge University Press

Publication Year: 1988

Type: Textbook

Item Weight: 450 g

Number of Pages: 304 Pages

Recommended

Systematic Theology: An Introduction to Biblical Doctrine - Hardcover - GOOD
Systematic Theology: An Introduction to Biblical Doctrine - Hardcover - GOOD

$12.09

View Details
Introduction to Business - Paperback - GOOD
Introduction to Business - Paperback - GOOD

$16.20

View Details
Introduction to Security - Paperback, by Fischer Ph.D. Robert; - Acceptable
Introduction to Security - Paperback, by Fischer Ph.D. Robert; - Acceptable

$26.14

View Details
Introduction to Biotechnology - Paperback By Thieman, William J. - VERY GOOD
Introduction to Biotechnology - Paperback By Thieman, William J. - VERY GOOD

$4.39

View Details
The Bedford Introduction to Drama - Paperback, by Jacobus Lee A.
The Bedford Introduction to Drama - Paperback, by Jacobus Lee A.

$40.00

View Details
Introduction to the Theory of Statistics (McGraw-Hill series in probabili - GOOD
Introduction to the Theory of Statistics (McGraw-Hill series in probabili - GOOD

$4.39

View Details
An Introduction to Statistics: An Active Learning Approach - Paperback - GOOD
An Introduction to Statistics: An Active Learning Approach - Paperback - GOOD

$4.39

View Details
Introduction to Futures and Options Markets (3rd Edition) - VERY GOOD
Introduction to Futures and Options Markets (3rd Edition) - VERY GOOD

$4.86

View Details
Introduction to the Hebrew Bible, Third Edition - The Writings (Paperback or Sof
Introduction to the Hebrew Bible, Third Edition - The Writings (Paperback or Sof

$11.08

View Details
Amphibians and Reptiles : An Introduction to Their Natural History and...
Amphibians and Reptiles : An Introduction to Their Natural History and...

$9.99

View Details