TY - BOOK
AU - Eberhard Karls Universität Tübingen Seminar für Natürlich-Sprachliche Systeme
AU - Schroeder-Heister, Peter
AU - Došen, Kosta
TI - Substructural logics
PB - Clarendon Press
SN - 0198537778
KW - Nonclassical mathematical logic
KW - Computer science
KW - Logic, Symbolic and mathematical
KW - Computers Mathematical logic
KW - Konferenzschrift 1990 Tübingen
KW - Konferenzschrift
KW - Mathematische Logik
KW - Datenverarbeitung
KW - Nichtklassische Logik
PY - 1993
N2 - Includes bibliographical references and index
BT - Studies in logic and computation ; 2
CY - Oxford [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation