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

Letzter Kommentar: vor 12 Jahren von Bocardodarapti

Die Beweise der Lemmata (z.B. 6.6) sind schwer nachvollziehbar. Es wäre nett auf die verwendeten Teilsätze im Axiomensystem 6.4 zu verweisen anstatt auf das gesamte System. Tomaschwutz (Diskussion) 10:13, 22. Mär. 2012 (CET)Beantworten

Richtig, das ist mir auch schon unangenehm aufgefallen. Wenn Sie auf die Einzelbeweise gehen, so erscheinen dort die Teilnummern, aber nicht in der Gesamtseite.--Bocardodarapti (Diskussion) 11:48, 22. Mär. 2012 (CET)Beantworten
Ist repariert--Bocardodarapti (Diskussion) 13:10, 22. Mär. 2012 (CET)Beantworten
Zurück zur Seite „Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 6“.