We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£128.82
Oxford University Press - Fragments of First-Order Logic
Price data last checked 56 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£129 today · previous high £129 · all-time low £129
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 35 days • 35 data points (No recent data available)
Price Distribution
Price distribution over 35 days • 1 price levels
Price Analysis
Most common price: £129 (35 days, 100.0%)
Price range: £129 - £129
Price levels: 1 different prices over 35 days
Description
Key Features
Covers the essential distinction between satisfiability and finite satisfiability in first-order logic structures.
Provides historical context regarding the landmark findings of Church, Turing, and Trakhtenbrot.
Focuses on restricted subsets of logic where satisfiability problems become algorithmically solvable.
Part of the authoritative Oxford Logic Guides series from Oxford University Press.
Detailed examination of the mathematical foundations required to understand logical undecidability.
Product Specifications
- Brand
- Oxford University Press
- Format
- hardcover
- ASIN
- 0192867962
- Domain
- Amazon UK
- Release Date
- 30 March 2023
- Listed Since
- 01 September 2022
Barcode
No barcode data available
Similar Products You Might Like
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
CRC Press
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Logic for Computer Science and Artificial Intelligence
Wiley
Routledge Logic Works - Introduction to Formal Logic Book
Routledge
Logic Works: A Rigorous Introduction to Formal Logic
Routledge
Propositional Logics Third Edition
Advanced Reasoning Forum
Simple Formal Logic: With Common-Sense Symbolic Techniques
Routledge
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
Oxford University Press
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
Springer
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)
Routledge
Three Views of Logic: Mathematics, Philosophy, and Computer Science
Princeton University Press
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press