Benutzer:Frogfol/spielwiese/In Arbeit/Solovayscher Vollständigkeitssatz

< Benutzer:Frogfol‎ | spielwiese‎ | In Arbeit

Satz von Löb

Das modallogische System G

Satz von Solovay

Literatur

Ulf Friedrichsdorf: Einführung in die klassische und intensionale Logik. Vieweg, ISBN ISBN 3-528-06489-7(?!).

Kategorie:Nichtklassische Logik

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Benutzer:Frogfol/spielwiese/In_Arbeit/Solovayscher_Vollständigkeitssatz&oldid=127546213“