Gå direkte til innholdet
Natural Deduction, Hybrid Systems and Modal Logics
Spar

Natural Deduction, Hybrid Systems and Modal Logics

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.
Opplag
2010 ed.
ISBN
9789400732438
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
5.9.2012
Forlag
Springer
Antall sider
492