Share
Why is this a Proof?
Edward Hermann Haeusler
(Illustrated by)
·
Wagner De Campos Sanz
(Illustrated by)
·
Bruno Lopes
(Illustrated by)
·
College Publications
· Paperback
Why is this a Proof? - Haeusler, Edward Hermann ; De Campos Sanz, Wagner ; Lopes, Bruno
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Thursday, July 18 and
Monday, August 05.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Why is this a Proof?"
This volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among the authors contributing to the volume we find colleagues, friends - including his PhD advisor - and admirers. Similar to Luiz Carlos Pereira's intellectual interests and work, the contributions range from Philosophy to Mathematics, from Mathematics to Logic, and from Logic to Philosophy, passing through Computer Science. They are the result of current research by well-known scholars in these fields. Proof Theory is, maybe, the Ariadne's thread that unite the different subjects treated. Questions around the nature of proofs are often present in Luiz Carlos' formal and informal talks and publications. Of course, he was not the first to dedicate himself to these questions, but he always raises and deals with them enthusiastically. This enthusiasm, together with his intellectual perspicacity, has allowed us to enjoy a wonderful journey into the world of proofs. Although not all contributions focus directly on proof theory, we can feel its echos in all of them.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.