Reihe Texts in Computer ScienceRolf Socher-Ambrosius × Deduction Systems Rolf Socher-AmbrosiusSpringer USeBook2012 Deduction Systems Rolf Socher-AmbrosiusSpringer USeBook2012 Deduction Systems Rolf Socher-AmbrosiusSpringer USSoftcover2011 Deduction Systems Rolf Socher-AmbrosiusSpringer USSoftcover2011