£46.53

Birkhauser Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Price data last checked 57 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

£47 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 34 days • 34 data points (No recent data available)

Historical
Generating forecast...
£46.71 £46.51 £46.56 £46.60 £46.64 £46.68 £46.73 11 March 2026 19 March 2026 27 March 2026 04 April 2026 13 April 2026

Price Distribution

Price distribution over 34 days • 1 price levels

Days at Price
34 days 0 9 17 26 34 £47 Days at Price

Price Analysis

Most common price: £47 (34 days, 100.0%)

Price range: £47 - £47

Price levels: 1 different prices over 34 days

Description

This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory. The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field. Decidability of Logical Theories and their Combination is ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
21 October 2020
Listed Since
08 July 2020

Barcode

No barcode data available

Similar Products You Might Like

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
98% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

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

Springer

£42.30 21 Feb 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
97% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
97% match

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

Cambridge University Press

£43.24 24 Feb 2026
Logic and Structure (Universitext)
97% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
97% match

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

Elsevier

£107.39 09 Dec 2025
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
97% match

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Springer

£26.22 18 Apr 2026
Logic for Mathematicians
97% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
97% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

£85.45 08 Jan 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
97% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
97% match

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

CRC Press

£38.79 17 Feb 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

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

Springer

£41.89 17 Feb 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
97% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

£61.17 11 Jan 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

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

£53.96 11 Jan 2026
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
97% match

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Springer

£78.74 12 Jan 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
97% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£45.08 15 Feb 2026
Oxford University Press - Fragments of First-Order Logic
97% match

Oxford University Press - Fragments of First-Order Logic

Oxford University Press

£128.82 19 Apr 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
97% match

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

Cambridge University Press

£61.99 22 Feb 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
97% match

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

Cambridge University Press

£83.99 19 Apr 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
97% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£111.23 04 Feb 2026