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
Language:English
Published: Berlin De Gruyter 2016
Walter de Gruyter GmbH
Edition:1
Series:Ontos Mathematical Logic
Subjects:
Logic, Symbolic and mathematical
Mathematical Logic
Mathematics
MATHEMATICS / History & Philosophy
Mathematische Logik
Philosophie der Mathematik
PHILOSOPHY / Epistemology
PHILOSOPHY / Logic
PHILOSOPHY / Methodology
Philosophy of Mathematics
Proof theory
Theoretical Computer Science
Theoretische Informatik
Theoretische Informatik
Mathematical Logic
Philosophy of Mathematics
Mathematische Logik
Theoretical Computer Science
Philosophie der Mathematik
ISBN:1501510800, 9781501510809
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
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