"Elementare Beweistheorie" von Lutz Heindorf ist ein Werk, das sich mit den Grundlagen der Beweistheorie beschäftigt, einem Teilgebiet der mathematischen Logik. Das Buch bietet eine Einführung in die grundlegenden Konzepte und Techniken,...