Media type: Book Title: Labelled deduction Contributor: Basin, David A. [Hrsg.] imprint: Dordrecht [u.a.]: Kluwer Academic Publishers, 2000 Published in: Applied logic series ; 17 Extent: XI, 266 S; graph. Darst Language: English ISBN: 0792362373 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Modallogik Origination: Footnote: Literaturangaben