Name: Logic, Construction, Computation (Ontos Mathematical Logic)
SKU: 51891551
Price: 7519.00 TWD
Availability: InStock
ISBN: 9783110324532

Select your country

Americas

Europe

Rest of the world

portada Logic, Construction, Computation (Ontos Mathematical Logic)

Logic, Construction, Computation (Ontos Mathematical Logic)

Type

Physical Book

Publisher

De Gruyter

Year

2012

Language

English

Pages

546

Format

Hardcover

ISBN13

9783110324532

Synopsis "Logic, Construction, Computation (Ontos Mathematical Logic) "

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.

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, Construction, Computation (Ontos Mathematical 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