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

aus Wikipedia, der freien Enzyklopädie
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(?!).

Kategorie:Nichtklassische Logik

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