Kurs Diskussion:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 7

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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)