£62.33

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

Price data last checked 93 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£62 today · usual range £0–£0 · best ever £58

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

Historical
Generating forecast...
£77.80 £55.51 £60.38 £65.24 £70.10 £74.96 £79.83 09 June 2024 15 November 2024 23 April 2025 29 September 2025 08 March 2026

Price Distribution

Price distribution over 638 days • 4 price ranges

Days at Price
Current Price
231 days 92 days · current 278 days 37 days 0 70 139 209 278 £58-62 £62-66 £66-70 £74-78 Days at Price

Price Analysis

Most common range: £66-70 (278 days, 43.6%)

Price range: £58 - £78

Price levels: 4 price ranges over 638 days

Description

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
18 July 1995
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Logic of Computation: SER F / v.157 (NATO ASI)
98% match

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

Springer

£80.56 26 Feb 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)
98% 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 '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)
98% 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
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)
98% match

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)

Springer

£70.72 10 Mar 2026
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)
98% match

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

Springer

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

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

Cambridge University Press

£94.37 27 Feb 2026
Proceedings of the 7th and 8th Asian Logic Conferences
98% match

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

£100.00 17 Feb 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 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 '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
Mathematical Logic and Computation
97% match

Mathematical Logic and Computation

£55.89 13 Jan 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
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
Computational Logic: 165 (NATO ASI Subseries F:, 165)
97% match

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

Springer

£111.23 04 Feb 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
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 Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 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 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 '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
Logic Programming: A Classified Bibliography
97% match

Logic Programming: A Classified Bibliography

Springer

£83.18 17 Apr 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, Language and Computation: 5 (Applied Logic Series, 5)
97% match

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

£76.14 08 Apr 2026
Mathematical Logic In The 20th Century
97% match

Mathematical Logic In The 20th Century

World Scientific Publishing Company

£102.97 07 Jan 2026