Concepts of proof in mathematics, philosophy, and computer science

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 lead...

Full description

Saved in:
Bibliographic Details
Main Authors Probst, Dieter, Schuster, Peter
Format eBook Book
LanguageEnglish
Published Berlin De Gruyter 2016
Walter de Gruyter GmbH
Edition1
SeriesOntos Mathematical Logic
Subjects
Logic, Symbolic and mathematical
Mathematical Logic
Mathematics
Mathematische Logik
Philosophie der Mathematik
PHILOSOPHY / Epistemology
Philosophy of Mathematics
Proof theory
Theoretical Computer Science
Theoretische Informatik
Theoretical Computer Science
Mathematical Logic
Philosophy of Mathematics
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:Includes bibliographical references
ISBN:1501510800
9781501510809
DOI:10.1515/9781501502620