:

product description page

Concepts of Proof in Mathematics, Philosophy, and Computer Science (Hardcover)

Concepts of Proof in Mathematics, Philosophy, and Computer Science (Hardcover) - image 1 of 1

About this item

This book provides the reader with research arising from the Humboldt-Kolleg ‘Proof’ held in Bern in fall 2013, which gathered more than sixty leading experts actively involved with the concept ‘proof’ in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring ‘proof’ in the fields mentioned above.

Number of Pages: 374
Genre: Science
Sub-Genre: Philosophy + Social Aspects
Series Title: Ontos Mathematical Logic
Format: Hardcover
Publisher: De Gruyter
Language: English
Street Date: July 25, 2016
TCIN: 50275078
UPC: 9781501510809
Item Number (DPCI): 248-05-1863
If the item details above aren’t accurate or complete, we want to know about it. Report incorrect product info.

Guest reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.