We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£127.59
It has never been this cheap. We have no record of a lower price.
£128 today · cheaper than every other day in the last 3 months
Springer Well-Quasi Orders in Computation, Logic, Language - Springer
Price data last checked 18 day(s) ago - will refresh soon
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 73 days · 73 data points (no recent data)
Price data last checked 18 day(s) ago - will refresh soon
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 73 days • 1 price levels
Price Analysis
Most common price: £128 (73 days, 100.0%)
Price range: £128 - £128
Price levels: 1 different prices over 73 days
Description
Key Features
Springer publication from the Trends in Logic series (volume 53) covering well-quasi orders as a unifying concept across mathematics and computer science.
Bridges proof theory, commutative algebra, braid groups, graph theory and analytic combinatorics through the framework of well-quasi orders and their applications.
Explores wqos in reverse mathematics, subrecursive hierarchies and descriptive set theory for advanced theoretical understanding.
Provides elegant finiteness and termination proofs applicable across computation, logic, formal languages and reasoning domains.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3030302318
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 26 August 2021
- Listed Since
- 07 December 2020
Barcode
No barcode data available
Similar Products You Might Like
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)
Springer
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
World Scientific Publishing Company
Reverse Mathematics: Problems, Reductions, and Proofs
Springer
Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)
Springer
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
CRC Press
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland
Birkhauser
An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)
Springer
Combinators, λ-Terms and Proof Theory: 42 (Synthese Library, 42)
Springer
An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)
Springer
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
CRC Press
A First Course in Mathematical Logic and Set Theory
Wiley
Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets
Get 800 LLC
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
Springer
A Bridge to Higher Mathematics (Textbooks in Mathematics)
CRC Press
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
Springer
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Springer