Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Logic, Construction, Computation (Ontos Mathematical Logic)
Type
Physical Book
Publisher
Year
2012
Language
English
Pages
546
Format
Hardcover
ISBN13
9783110324532

Logic, Construction, Computation (Ontos Mathematical Logic)

Cheaper New Book Imported to Netherlands
Delivery: 13 Oct - 15 Oct Shipping: 13 to 14 business days.
€ 222,14
Faster New Book Imported to Netherlands
Delivery: 01 Oct - 05 Oct Shipping: 5 to 6 business days.
€ 281,47
Import costs and 9% BTW included in the price ✅
€ 222,14

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

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.

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