£80.56

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

Price data last checked 103 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 9 months ago.

£81 today · all-time low £78 (Aug 2025) · 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 210 days • 210 data points (No recent data available)

Historical
Generating forecast...
£93.97 £75.89 £79.83 £83.78 £87.72 £91.67 £95.61 01 August 2025 22 September 2025 13 November 2025 04 January 2026 26 February 2026

Price Distribution

Price distribution over 210 days • 4 price levels

Days at Price
Current Price
169 days 11 days · current 12 days 18 days 0 42 85 127 169 £78 £81 £93 £94 Days at Price

Price Analysis

Most common price: £78 (169 days, 80.5%)

Price range: £78 - £94

Price levels: 4 different prices over 210 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

Format
Hardcover
Domain
Amazon UK
Release Date
01 July 1997
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Computational Logic: 165 (NATO ASI Subseries F:, 165)
98% match

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

Springer

£111.23 04 Feb 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
98% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.33 08 Mar 2026
Mathematical Logic and Computation
97% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
97% match

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Springer

£75.47 04 Mar 2026
Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)
97% match

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)

Cambridge University Press

£78.84 27 Feb 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
97% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 27 Feb 2026
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
97% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.45 13 Jan 2026
Logic Programming: A Classified Bibliography
97% match

Logic Programming: A Classified Bibliography

Springer

£83.18 17 Apr 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)
97% 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
Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
97% match

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

A K Peters/CRC Press

£86.99 27 Feb 2026
Logic Colloquium '02: Lecture Notes in Logic 27
97% match

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

£86.99 09 Mar 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
97% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.25 03 Mar 2026
Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)
97% match

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Oxford University Press

£53.00 05 Mar 2026
Logic and Language (Cornerstones of Computing S)
97% match

Logic and Language (Cornerstones of Computing S)

Red Globe Press

£63.99 05 Mar 2026
Logic Colloquium '99: Lecture Notes in Logic 17
97% match

Logic Colloquium '99: Lecture Notes in Logic 17

A K Peters/CRC Press

£82.99 28 Feb 2026
Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
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)
97% 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
Logic Colloquium '03: Lecture Notes in Logic 24
97% match

Logic Colloquium '03: Lecture Notes in Logic 24

A K Peters/CRC Press

£61.99 08 Apr 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
97% match

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Springer

£66.33 04 Mar 2026
Proceedings of the 7th and 8th Asian Logic Conferences
97% match

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

£100.00 17 Feb 2026
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
97% match

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Cambridge University Press

£85.48 18 Mar 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)
97% match

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Springer

£81.90 04 Feb 2026
Logic And Language Models For Computer Science (Third Edition)
97% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£39.44 17 Mar 2026
Logic Colloquium '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)
97% match

Logic Colloquium '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)

Cambridge University Press

£95.28 10 Mar 2026