We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£36.58
It has never been this cheap. We have no record of a lower price.
£37 today · cheaper than every other day in the last 2 months
Routledge A Philosophical Introduction to Higher-order Logics - Routledge
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 36 days · 36 data points (no recent data)
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 36 days • 1 price levels
Price Analysis
Most common price: £37 (36 days, 100.0%)
Price range: £37 - £37
Price levels: 1 different prices over 36 days
Description
Key Features
The textbook covers both formal aspects of higher-order languages including model theory and proof theory for comprehensive technical understanding.
Non-extensional higher-order logics receive special attention, making this book particularly suited to foundational metaphysics research and study.
Philosophical applications are integrated throughout, with dedicated treatment of modality and propositional granularity for real-world problem-solving.
Lambda-abstraction theory and its generalisations are explained systematically, providing essential foundations for advanced logical work.
This Routledge textbook is specifically designed for graduate students in philosophy seeking rigorous yet accessible introduction to higher-order logic.
Product Specifications
- Brand
- Routledge
- Format
- paperback
- ASIN
- 0367483017
- Domain
- Amazon UK
- Release Date
- 29 September 2023
- Listed Since
- 17 February 2023
Barcode
No barcode data available
Similar Products You Might Like
A Philosophical Introduction to Higher-order Logics
Routledge
Lectures on the Curry-Howard Isomorphism
Elsevier
Elsevier Lectures on the Curry-Howard Isomorphism Volume 149
Elsevier
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
Routledge Logic Works - Introduction to Formal Logic Book
Routledge
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Logic Works: A Rigorous Introduction to Formal Logic
Routledge
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
Elsevier
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Logic for Mathematicians
Cambridge University Press
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
CRC Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Cambridge Higher-Order Categorical Logic - Mathematics Book
Cambridge University Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
Cambridge University Press
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Cambridge Mathematical Logic and Computation by Jeremy Avigad
Cambridge University Press
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press