Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
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...
Saved in:
| Online Access: |
Full text (Emerson users only) |
|---|---|
| Contributors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin :
De Gruyter,
[2016]
|
| Series: | Ontos mathematical logic ;
v. 6. |
| Subjects: | |
| Local Note: | ProQuest Ebook Central |
Internet
Full text (Emerson users only)EBooks
| Call Number: |
ProQuest
|
|---|---|
| Online |