Produkt mají v nabídce:
Tento produkt teď není v aktuální nabídce žádného obchodu.
Natural Deduction, Hybrid Systems and Modal Logics - Indrzejczak, Andrzej
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
