We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£117.73
Springer Logic, Meaning and Computation - Alonzo Church Essays
Price data last checked 15 day(s) ago - will refresh soon
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.
£118 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
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 76 days · 76 data points (no recent data)
Price Distribution
Price distribution over 76 days • 1 price levels
Price Analysis
Most common price: £118 (76 days, 100.0%)
Price range: £118 - £118
Price levels: 1 different prices over 76 days
Description
Key Features
Synthese Library volume 305 features essays examining Alonzo Church's major contributions to logic, mathematics and computer science.
The collection explores Church's Theorem and related foundational work in symbolic logic and computation theory.
Essays from this Springer publication illustrate the scope and depth of Church's influence across philosophy and mathematics.
This academic text serves researchers and scholars studying the theoretical foundations of computational logic and formal systems.
The book provides historical context for understanding Church's lasting impact on twentieth-century intellectual development.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 140200141X
- Domain
- Amazon UK
- Release Date
- 31 January 2002
- Listed Since
- 15 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
CRC Press
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
Elsevier
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Springer
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
Springer
Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
A K Peters/CRC Press
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
Cambridge University Press
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
Cambridge University Press
Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Simple Formal Logic: With Common-Sense Symbolic Techniques
Routledge
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
A First Course in Logic - Oxford Texts in Logic
Oxford University Press
Logic for Computer Science and Artificial Intelligence
Wiley