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

Celý popis

Uložené v:
Podrobná bibliografia
Hlavní autori: Probst, Dieter, Schuster, Peter
Médium: E-kniha Kniha
Jazyk:English
Vydavateľské údaje: Berlin De Gruyter 2016
Walter de Gruyter GmbH
Vydanie:1
Edícia:Ontos Mathematical Logic
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:Includes bibliographical references
ISBN:1501510800
9781501510809
DOI:10.1515/9781501502620