TY  - BOOK
AU  - Indrzejczak,Andrzej
ED  - SpringerLink (Online service)
TI  - Natural deduction, hybrid systems and modal logics
SN  - 9789048187850
U1  - 162 22
PY  - 2010///
CY  - Dordrecht
PB  - Springer Science+Business Media B.V.
KW  - Logic
KW  - Modality (Logic)
KW  - Philosophy
KW  - Mathematical Logic and Foundations
KW  - Mathematical Logic and Formal Languages
KW  - Algorithms
KW  - Artificial Intelligence (incl. Robotics)
ER  -