Reihe Trends in LogicAndrzej Indrzejczak × Natural Deduction, Hybrid Systems and Modal Logics Andrzej IndrzejczakSpringer NetherlandSoftcover2012 Natural Deduction, Hybrid Systems and Modal Logics Andrzej IndrzejczakSpringer NetherlandeBook2010 Natural Deduction, Hybrid Systems and Modal Logics Andrzej IndrzejczakSpringer NetherlandHardcover2010