Name: logic, meaning and computation
Price: 147.20 EUR
Availability: InStock
ISBN: 9781402001413

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Springer

Language

English

Pages

642

ISBN

140200141X

ISBN13

9781402001413

Synopsis "logic, meaning and computation"

this volume began as a remembrance of alonzo church while he was still with us and is now finally complete. it contains papers by many well-known scholars, most of whom have been directly influenced by churchs own work. often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with churchs contributions, now universally recognized as having been of profound fundamental significance in those areas. the volume will be of interest to logicians, computer scientists, philosophers, and linguists. the contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. the material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.

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)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

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