Natural Deduction, Hybrid Systems and Modal Logics
Andrzej Indrzejczak
Springer, 2010
264,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9789048187843
- ISBN-10
- 9048187842
- Publisher
- Springer
- Year
- 2010
- Publication date
- 2010-06-11
- Pages
- 492
- Dimensions
- 241x164x35
- Weight
- 926