Name: Logic Colloquium '96 (Lecture Notes in Logic)
SKU: 51563840
Price: 5846.00 TWD
Availability: InStock
ISBN: 9781107166080

Select your country

Americas

Europe

Rest of the world

portada Logic Colloquium '96 (Lecture Notes in Logic)

Logic Colloquium '96 (Lecture Notes in Logic)

Type

Physical Book

Publisher

Cambridge University Press

Year

2017

Language

English

Pages

269

Format

Hardcover

ISBN13

9781107166080

Edition No.

Synopsis "Logic Colloquium '96 (Lecture Notes in Logic) "

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Synopsis "Logic Colloquium '96 (Lecture Notes in Logic) "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery