References
Curt C. Christian
Zur Vollständigkeit des Modalitätenkalküls
I-IV
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder
Remarks concerning Kurt Gödel's life and work
1987
in: Mathematical logic and its applications, Dordrecht : Springer
I-IV
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder
1987
in: Mathematical logic and its applications, Dordrecht : Springer