Siirry suoraan sisältöön
Natural Deduction, Hybrid Systems and Modal Logics
Tallenna

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.
Painos
2010 ed.
ISBN
9789400732438
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
5.9.2012
Kustantaja
Springer
Sivumäärä
492