Gå direkt till innehållet
Natural Deduction, Hybrid Systems and Modal Logics
Spara

Natural Deduction, Hybrid Systems and Modal Logics

inbunden, 2010
Engelska
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.
Upplaga
2010 ed.
ISBN
9789048187843
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2010-06-11
Förlag
Springer
Sidor
492