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) - Image 1

£60.83

This is the most expensive it has ever been. Walk away.

£61 today · previous high £61 · all-time low £60

Cambridge University Press 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)

Name: Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996: 12 (Lecture Notes in Logic, Series Number 12)
Brand: Cambridge University Press
Price: 60.83 GBP
Availability: InStock

Programming

Price Distribution

Price distribution over 55 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £60 (54 days, 98.2%)

Price range: £60 - £61

Price levels: 2 different prices over 55 days

Description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic. The volume includes eleven papers from pre-eminent researchers in mathematical logic.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 110716608X
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Release Date: 02 March 2017
Listed Since: 24 August 2016

Barcode

No barcode data available

This is the most expensive it has ever been. Walk away.

Cambridge University Press 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)

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Logic Colloquium '99: Lecture Notes in Logic 17

Logic Colloquium '03: Lecture Notes in Logic 24

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

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)

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

Logic Colloquium '02: Lecture Notes in Logic 27

Logic Colloquium 2004 (Lecture Notes in Logic): Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in ... 29 (Lecture Notes in Logic, Series Number 29)

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)

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

Proceedings of the 7th and 8th Asian Logic Conferences

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

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

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

Logic for Computer Science and Artificial Intelligence

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

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Thinking and Calculating: Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai: 54 (Logic, Epistemology, and the Unity of Science, 54)

Handbook of Philosophical Logic: Volume 14

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

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

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

This is the most expensive it has ever been. Walk away.

Cambridge University Press 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Logic Colloquium '99: Lecture Notes in Logic 17

Logic Colloquium '03: Lecture Notes in Logic 24

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

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)

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

Logic Colloquium '02: Lecture Notes in Logic 27

Logic Colloquium 2004 (Lecture Notes in Logic): Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in ... 29 (Lecture Notes in Logic, Series Number 29)

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)

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

Proceedings of the 7th and 8th Asian Logic Conferences

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

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

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

Logic for Computer Science and Artificial Intelligence

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

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Thinking and Calculating: Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai: 54 (Logic, Epistemology, and the Unity of Science, 54)

Handbook of Philosophical Logic: Volume 14

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

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

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