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ženo v:
Podrobná bibliografie
Hlavní autoři: Probst, Dieter, Schuster, Peter
Médium: E-kniha Kniha
Jazyk:angličtina
Vydáno: Berlin De Gruyter 2016
Walter de Gruyter GmbH
Vydání:1
Edice:Ontos Mathematical Logic
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie:Includes bibliographical references
ISBN:1501510800
9781501510809
DOI:10.1515/9781501502620