Przeglądaj przez Autor Hanaoka, Riku
Pokazuję rezultaty 1 do 1 z 1
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2022 | Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II | Inoué, Takao; Hanaoka, Riku | - | - |