Media type: Book; Conference Proceedings Title: Substructural logics Contributor: Schroeder-Heister, Peter [Hrsg.]; Došen, Kosta [Other] Corporation: Eberhard Karls Universität Tübingen, Seminar für Natürlich-Sprachliche Systeme imprint: Oxford [u.a.]: Clarendon Press, 1993 Published in: Studies in logic and computation ; 2 Extent: X, 386 S. Language: English ISBN: 0198537778 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, SD 1990 : Veranstaltungsjahr 1990 Keywords: Mathematische Logik > Datenverarbeitung Nichtklassische Logik Mathematische Logik > Nichtklassische Logik Origination: Footnote: Includes bibliographical references and index