Concepts of Proof in Mathematics, Philosophy, and Computer Science |
|
Editor:
| Probst, Dieter Schuster, Peter |
Series title: | Ontos Mathematical Logic Ser. |
ISBN: | 978-1-5015-0264-4 |
Publication Date: | Jul 2016 |
Publisher: | Walter de Gruyter GmbH
|
Book Format: | Ebook |
List Price: | USD $166.99USD $183.99USD $140.00USD $193.99 |
Book Description:
|
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.