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

Natural Deduction, Hybrid Systems and Modal Logics

sidottu, 2010
englanti
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
9789048187843
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
11.6.2010
Kustantaja
Springer
Sivumäärä
492