We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£80.56
Springer Logic of Computation: SER F / v.157 (NATO ASI)
Price data last checked 58 day(s) ago - refreshing...
Price History & Forecast
Last 33 days • 33 data points (No recent data available)
Price Distribution
Price distribution over 33 days • 2 price levels
Current Price
Price Analysis
Most common price: £78 (22 days, 66.7%)
Price range: £78 - £81
Price levels: 2 different prices over 33 days
Description
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and category theory, machine based theorem proving, logic programming, bounded arithmetic, proof theory, algebraic specifications and rewriting, algebraic algorithms, and type theory.
Product Specifications
- Brand
- Springer
- Format
- Hardcover
- ASIN
- 3540629637
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 01 July 1997
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
95% match
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
£111.23
04 Feb 2026
93% match
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Springer
£77.43
28 Feb 2026
92% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026
92% match
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
Springer
£118.45
13 Jan 2026
92% match
Logic, Algebra, and Computation: International Summer School: 79 (NATO ASI Subseries F:, 79)
Springer
£78.01
04 Mar 2026
92% match
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Springer
£87.91
09 Dec 2025
92% match
Mathematical Logic for Computer Science
Springer
£44.25
15 Feb 2026
92% match
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
£76.14
08 Apr 2026
92% match
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
£56.56
13 Apr 2026
92% match
Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)
Springer
£77.89
11 Apr 2026
92% match
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
£59.19
11 Feb 2026
91% match
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)
Springer
£123.71
12 Jan 2026
91% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
07 Mar 2026
91% 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
91% match
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
£49.98
09 Mar 2026
91% match
Logic Functions and Equations: Binary Models for Computer Science
Springer
£69.98
26 Feb 2026
91% match
Logic Programming: A Classified Bibliography
Springer
£83.18
17 Apr 2026
91% match
Introduction to Logic and Logical Discourse
£91.52
07 Jan 2026
91% match
Introduction to Logic and Logical Discourse
Springer
£89.88
25 Feb 2026
91% match
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Springer
£164.00
08 Jan 2026
91% 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
91% match
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
Springer
£57.02
08 Mar 2026
91% match
The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)
North Holland
£107.78
31 Mar 2026
91% match
Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)
Springer
£82.99
08 Mar 2026