Benutzer:Frogfol/spielwiese/In Arbeit/Solovayscher Vollständigkeitssatz
Zur Navigation springen
Zur Suche springen
Satz von Löb
[Bearbeiten | Quelltext bearbeiten]Das modallogische System G
[Bearbeiten | Quelltext bearbeiten]Satz von Solovay
[Bearbeiten | Quelltext bearbeiten]Literatur
[Bearbeiten | Quelltext bearbeiten]- Ulf Friedrichsdorf: Einführung in die klassische und intensionale Logik. Vieweg, ISBN ISBN 3-528-06489-7(?!).