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

Natural Deduction, Hybrid Systems and Modal Logics

innbundet, 2010
Engelsk
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
9789048187843
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
11.6.2010
Forlag
Springer
Antall sider
492