Actions for Concepts of proof in mathematics, philosophy, and computer science

Email RIS file
Bookmark
Report an Issue

Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster

Published
Berlin : De Gruyter, [2016]
Physical Description
1 online resource (x, 374 pages ).
Additional Creators
Probst, Dieter, 1973- and Schuster, Peter, 1967-
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Language Note
In English.
Summary
This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered 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 those fields.
Subject(s)
ISBN
150150262X (electronic bk.)
9781501502620 (electronic bk.)
9781501502644 (electronic bk.)
1501502646 (electronic bk.)
9781501502620
1501502638
1501502646
1501510800
9781501510809 (hardcover ; alk. paper)
Digital File Characteristics
text file
Bibliography Note
Includes bibliographical references.
View MARC record | catkey: 43653396