£41.99

Routledge - A Philosophical Introduction to Higher-order Logics

Name: Routledge - A Philosophical Introduction to Higher-order Logics
Brand: Routledge
Price: 41.99 GBP
Availability: InStock

Computer Science

It has never been this cheap. We have no record of a lower price.

£42 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 17 days · 17 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 17 days • 1 price levels

Days at Price

Price Analysis

Most common price: £42 (17 days, 100.0%)

Price range: £42 - £42

Price levels: 1 different prices over 17 days

Description

A Philosophical Introduction to Higher-order Logics by Routledge serves as the first comprehensive textbook designed specifically for graduate students in philosophy. Unlike many introductions from computer science backgrounds, this text provides a unique perspective tailored to the needs of philosophical study. The book covers the formal aspects of higher-order languages, including model theory, proof theory, and the theory of lambda-abstraction along with its generalizations. It bridges the gap between technical logic and philosophical inquiry by applying these formal structures to key topics such as modality and propositional granularity. With a strong focus on non-extensional higher-order logics, this resource is particularly well-suited for those working in foundational metaphysics. It offers a clear path for students to master both the formal mechanics and the practical applications of higher-order logic within a philosophical framework.

Key Features

Designed specifically for graduate students in philosophy seeking a deep understanding of higher-order logic.

Covers essential formal aspects including model theory, proof theory, and lambda-abstraction theory.

Explores practical philosophical applications such as modality and propositional granularity.

Focuses on non-extensional higher-order logics to support research in foundational metaphysics.

Provides a comprehensive overview of higher-order languages and their generalizations.

Product Specifications

Brand: Routledge
Format: paperback
ASIN: 0367483017
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 29 September 2023
Listed Since: 17 February 2023

Barcode

No barcode data available

Routledge - A Philosophical Introduction to Higher-order Logics

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

A Philosophical Introduction to Higher-order Logics

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Routledge Logic Works - Introduction to Formal Logic Book

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Logic Works: A Rigorous Introduction to Formal Logic

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logic for Mathematicians

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Logic with Trees: An Introduction to Symbolic Logic

Logic with Trees: An Introduction to Symbolic Logic

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Mathematical Logic and Computation

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)