First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic) - Image 1

£115.87

Birkhauser First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)

Name: First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
Brand: Birkhauser
Price: 115.87 GBP
Availability: InStock

Computer Science

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

£116 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 32 days · 32 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price

Price Analysis

Most common price: £116 (32 days, 100.0%)

Price range: £116 - £116

Price levels: 1 different prices over 32 days

Product Specifications

Brand: Birkhauser
Format: hardcover
ASIN: 303205740X
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 03 January 2026
Listed Since: 09 August 2025

Barcode

No barcode data available

Birkhauser First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Algebra, Analysis, and Associated Topics (Trends in Mathematics)

Integral Methods in Science and Engineering: Analytic and Computational Procedures

Research Topics in Analysis, Volume I: Grounding Theory (Birkhäuser Advanced Texts Basler Lehrbücher)

Numerical Fourier Analysis (Applied and Numerical Harmonic Analysis)

New Frontiers in Number Theory and Applications (Trends in Mathematics)

Discrete-Time Semi-Markov Random Evolutions and Their Applications (Probability and Its Applications (duplicate))

Space–Time Computational Flow Analysis: A Chronological Catalog of Unconventional Methods and First-of-Its-Kind Solutions (Modeling and Simulation in Science, Engineering and Technology)

Exact and Approximate Solutions for Mathematical Models in Science and Engineering (Trends in Mathematics)

Systems Theory and PDEs: Open Problems, Recent Results, and New Directions (Trends in Mathematics)

Stochastics in Fluids (Advances in Mathematical Fluid Mechanics)

Primes and Particles: Mathematics, Mathematical Physics, Physics

Foundations of Soft Logic

Women in Analysis and PDE (Trends in Mathematics, 5)

Fundamentals of Generalized Recursion Theory

Categorical Logic and Type Theory

Approximation Theory, Sequence Spaces and Applications (Industrial and Applied Mathematics)

Practical Logic: With the Appendix on Deontic Logic

Applied Finite Mathematics

Exercises in Applied Mathematics: With a View toward Information Theory, Machine Learning, Wavelets, and Statistical Physics (Chapman Mathematical Notes)

The Art of Doing Algebraic Geometry (Trends in Mathematics)

Analysis and Applied Mathematics: Extended Abstracts of the 2022 Joint Seminar (Trends in Mathematics, 6)

Federated Learning: Foundations and Applications

From Classical Analysis to Analysis on Fractals: A Tribute to Robert Strichartz, Volume 1 (Applied and Numerical Harmonic Analysis)

Spherical Functions of Mathematical Geosciences: A Scalar, Vectorial, and Tensorial Setup (Geosystems Mathematics)