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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Probst, Dieter, Schuster, Peter
Format: E-Book Buch
Sprache:Englisch
Veröffentlicht: Berlin De Gruyter 2016
Walter de Gruyter GmbH
Ausgabe:1
Schriftenreihe:Ontos Mathematical Logic
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie:Includes bibliographical references
ISBN:1501510800
9781501510809
DOI:10.1515/9781501502620