> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Elementare Beweistheorie Beteiligte: Heindorf, Lutz [Verfasser:in] Erschienen: Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994 Umfang: 240 S; graph. Darst; 21 cm Sprache: Deutsch ISBN: 3411171618 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, QH 120 : Grundlagenforschung SK 180 : Zahlentheorie Schlagwörter: Beweistheorie Beweistheorie Entstehung: Anmerkungen: Literaturverz. S. 234 - 236