Items related to Concepts of Proof in Mathematics, Philosophy, and Computer...

Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic) - Softcover

 
9781501502637: Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic)
Softcover
ISBN 10: 1501502638 ISBN 13: 9781501502637
Publisher: De Gruyter, 2016

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.Peter Schuster, Dept. of Computer Science, U. Verona, Italy.

"About this title" may belong to another edition of this title.

Publisher
De Gruyter
Publication date
2016
Language
English
ISBN 10 
1501502638
ISBN 13 
9781501502637
Binding
Paperback
Number of pages
374
Editor
Probst Dieter, Schuster Peter

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9781501510809: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Ontos Mathematical Logic): 6

Featured Edition

ISBN 10:  1501510800 ISBN 13:  9781501510809
Publisher: De Gruyter, 2016
Hardcover