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

£49.99

It has never been this cheap. We have no record of a lower price.

£50 today · cheaper than every other day in the last 3 months

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

Name: 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)
Brand: Cambridge University Press
Price: 49.99 GBP
Availability: InStock

Yearbooks & Annuals

Price Distribution

Price distribution over 61 days • 1 price levels

Days at Price

Price Analysis

Most common price: £50 (61 days, 100.0%)

Price range: £50 - £50

Price levels: 1 different prices over 61 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 eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107167906
Category: Books > Subjects > Reference > Almanacs & Yearbooks > Yearbooks & Annuals
Domain: Amazon UK
Release Date: 02 March 2017
Listed Since: 24 August 2016

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

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

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

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

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Logic Colloquium '99: Lecture Notes in Logic 17

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

A First Journey through Logic (Student Mathematical Library)

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

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

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)

Cambridge University Press - The Mathematics of Logic Textbook

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 Colloquium '03: Lecture Notes in Logic 24

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

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

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

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Logic and Structure (Universitext)

Logic for Computer Science and Artificial Intelligence

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

It has never been this cheap. We have no record of a lower price.

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

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

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Logic Colloquium '99: Lecture Notes in Logic 17

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

A First Journey through Logic (Student Mathematical Library)

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

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

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)

Cambridge University Press - The Mathematics of Logic Textbook

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 Colloquium '03: Lecture Notes in Logic 24

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

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

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

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Logic and Structure (Universitext)

Logic for Computer Science and Artificial Intelligence

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