Kurs Diskussion:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 7
Abschnitt hinzufügenLetzter Kommentar: vor 12 Jahren von Tomaschwutz
Die Gliederung ist unübersichtlich. Überschriften über den Axiomen "z.B. Existenzeinführung im Antezedenz" und Lemmata fehlen. Meine Versuche sie mittes Wiki-Syntax einzufügen scheiterten. Tomaschwutz (Diskussion) 15:21, 22. Mär. 2012 (CET)