PLWABN|9810693127105606
Natural deduction, hybrid systems and modal logics
153144782992490843212
This is a placeholder URI in need of further matching
).
(1964
Indrzejczak
Andrzej
Indrzejczak, Andrzej
Indrzejczak, Andrzej
Indrzejczak, Andrzej (1964- ). | Natural deduction, hybrid systems and modal logics