£152.15

Springer Definability and Computability (Siberian School of Algebra and Logic)

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£152 today · all-time low £152 (Apr 2026) · usually the usual

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

Historical
Generating forecast...
£177.14 £149.54 £155.56 £161.58 £167.61 £173.63 £179.65 14 March 2026 26 March 2026 08 April 2026 20 April 2026 03 May 2026

Price Distribution

Price distribution over 51 days • 2 price levels

Days at Price
Current Price
18 days · current 33 days 0 8 17 25 33 £152 £177 Days at Price

Price Analysis

Most common price: £177 (33 days, 64.7%)

Price range: £152 - £177

Price levels: 2 different prices over 51 days

Description

In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
30 April 1996
Listed Since
12 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Computability and Logic
97% match

Computability and Logic

Cambridge University Press

£86.79 11 Apr 2026
Computability
96% match

Computability

Springer

£47.73 20 Feb 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
96% match

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

Springer

£111.23 04 Feb 2026
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
96% match

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

£50.59 07 Mar 2026
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: 3988 (Lecture Notes in Computer Science, 3988)
96% match

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: 3988 (Lecture Notes in Computer Science, 3988)

Springer

£84.22 04 Apr 2026
Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)
96% match

Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)

CRC Press

£153.82 15 Jan 2026
Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)
95% match

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Chapman and Hall/CRC

£85.97 23 Jan 2026
Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)
95% match

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Cambridge University Press

£97.46 06 Apr 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
95% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Springer

£46.83 10 Apr 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
95% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

£61.35 14 Jan 2026
Computability: An Introduction to Recursive Function Theory
95% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 Jan 2026
Computability In Context: Computation And Logic In The Real World
95% match

Computability In Context: Computation And Logic In The Real World

Imperial College Press

£87.00 01 Mar 2026
Proofs and Computations (Perspectives in Logic)
95% match

Proofs and Computations (Perspectives in Logic)

Cambridge University Press

£64.95 26 Apr 2026
Logic, Computation, Hierarchies: 4 (Ontos Mathematical Logic, 4)
95% match

Logic, Computation, Hierarchies: 4 (Ontos Mathematical Logic, 4)

De Gruyter

£132.67 21 May 2026
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
95% match

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Oxford University Press

£199.83 17 Mar 2026
Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
95% match

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

£43.20 20 Feb 2026
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
95% match

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

Springer

£26.22 18 Apr 2026
A Hierarchy of Turing Degrees - Princeton University Press
95% match

A Hierarchy of Turing Degrees - Princeton University Press

Princeton University Press

£79.58 14 Apr 2026
Logic and Structure (Universitext)
95% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
95% match

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Springer

£41.75 29 Jan 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
95% match

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

Birkhauser

£46.53 13 Apr 2026
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
95% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.45 13 Jan 2026
Logic of Computation: SER F / v.157 (NATO ASI)
95% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£80.56 26 Feb 2026
Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)
95% match

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

£94.50 21 Feb 2026