Smorynski
Požadavky na absolvování
C.A. Smorynski, Applications of Kripke models.
Klikněte na odkaz smorynski.pdf pro zobrazení souboru.