£108.92

Springer Logic, Meaning and Computation: Essays in Memory of Alonzo Church: 305 (Synthese Library, 305)

Price data last checked 37 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.

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

Historical
Generating forecast...
£114.89 £108.32 £109.76 £111.19 £112.62 £114.05 £115.49 10 April 2026 23 April 2026 06 May 2026 19 May 2026 02 June 2026

Price Distribution

Price distribution over 54 days • 2 price levels

Days at Price
Current Price
14 days · current 40 days 0 10 20 30 40 £109 £115 Days at Price

Price Analysis

Most common price: £115 (40 days, 74.1%)

Price range: £109 - £115

Price levels: 2 different prices over 54 days

Description

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti- eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid- ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid .

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
21 October 2012
Listed Since
20 September 2013

Barcode

No barcode data available

Similar Products You Might Like

Logics for Computer Science: Classical and Non-Classical
77% match

Logics for Computer Science: Classical and Non-Classical

Springer

£76.52 05 Jun 2026
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)
76% match

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

Springer

£106.20 06 Jun 2026
An Introduction to Default Logic (Symbolic Computation)
76% match

An Introduction to Default Logic (Symbolic Computation)

Springer

£75.97 03 Jul 2026
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs: 22 (Outstanding Contributions to Logic, 22)
76% match

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs: 22 (Outstanding Contributions to Logic, 22)

Springer

£101.03 15 Jun 2026
Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)
76% match

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Springer

£106.26 17 May 2026
The Foundations of Computability Theory
76% match

The Foundations of Computability Theory

Springer

£72.50 05 Jun 2026
Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)
76% match

Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)

Springer

£76.08 29 Jun 2026
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole: 291 (Synthese Library, 291)
76% match

A Boole Anthology: Recent and Classical Studies in the Logic of George Boole: 291 (Synthese Library, 291)

Springer

£109.42 02 Jun 2026
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert: 310 (Synthese Library, 310)
75% match

Internal Logic: Foundations of Mathematics from Kronecker to Hilbert: 310 (Synthese Library, 310)

Springer

£73.03 24 May 2026
Topics in Philosophical Logic: 17 (Synthese Library, 17)
75% match

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Springer

£113.93 24 May 2026
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)
75% match

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Springer

£107.98 31 May 2026
Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)
75% match

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Springer

£113.76 22 May 2026
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
75% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.54 26 May 2026
Topics in Philosophical Logic: 17 (Synthese Library, 17)
75% match

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Springer

£116.78 05 Jun 2026
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)
75% match

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)

Springer

£107.98 04 Jun 2026
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
75% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£164.93 06 Jun 2026
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
75% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£150.07 31 May 2026
Thirty Five Years of Automating Mathematics: 28 (Applied Logic Series, 28)
75% match

Thirty Five Years of Automating Mathematics: 28 (Applied Logic Series, 28)

Springer

£72.77 16 May 2026
Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication: 329 (Synthese Library, 329)
75% match

Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication: 329 (Synthese Library, 329)

Springer

£158.64 24 May 2026
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
75% match

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Springer

£187.87 06 Jun 2026
Existence and Explanation: Essays presented in Honor of Karel Lambert: 49 (The Western Ontario Series in Philosophy of Science, 49)
74% match

Existence and Explanation: Essays presented in Honor of Karel Lambert: 49 (The Western Ontario Series in Philosophy of Science, 49)

Springer

£113.76 26 May 2026
Mathematical Logic: An Introduction to Model Theory: 9 (Mathematical Concepts and Methods in Science and Engineering, 9)
74% match

Mathematical Logic: An Introduction to Model Theory: 9 (Mathematical Concepts and Methods in Science and Engineering, 9)

Springer

£79.59 22 Jun 2026
Computation, Logic, Philosophy: A Collection of Essays: 2 (Mathematics and its Applications, 2)
74% match

Computation, Logic, Philosophy: A Collection of Essays: 2 (Mathematics and its Applications, 2)

Springer

£71.20 05 Jun 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
74% match

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Springer

£106.20 31 May 2026