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 - Synthese Library 305
Price data last checked 52 day(s) ago - refreshing...
Price History & Forecast
Last 39 days • 39 data points (No recent data available)
Price Distribution
Price distribution over 39 days • 2 price levels
Price Analysis
Most common price: £118 (29 days, 74.4%)
Price range: £117 - £118
Price levels: 2 different prices over 39 days
Description
Key Features
Covers the essential contributions of Alonzo Church to the fields of logic, mathematics, and computer science.
Part of the Synthese Library series, specifically volume 305, ensuring academic quality and relevance.
Provides a broad overview of the scope and value of Church's work for researchers and students.
Includes discussions related to Church's Theorem and its impact on modern computational theory.
Offers philosophical and mathematical perspectives on the legacy of a 20th-century intellectual leader.
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
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Springer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Algebraic Complexity Theory: 315 (Grundlehren der mathematischen Wissenschaften, 315)
Springer
Introduction to Mathematical Logic (Princeton Mathematical Series, 17)
Princeton University Press
Logic for Applications (Texts in Computer Science)
Springer
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Springer
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
The Foundations of Computability Theory
Springer
Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)
Springer
Handbook of Philosophical Logic: Volume 8
Springer
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
Springer
Introduction to Logic and Logical Discourse
Introduction to Logic and Logical Discourse
Springer
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
Springer
Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)
Springer
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
Springer
Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)
Springer
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
Springer
Constructive Models (Siberian School of Algebra and Logic)
Springer
Springer - A Short Introduction to Intuitionistic Logic Book
Springer