TY - JFULL TI - Journal of logic and computation CY - Eynsham, Oxford PB - Oxford Univ. Press PY - 1990 LA - English KW - Datenverarbeitung KW - Logik KW - Zeitschrift SN - 0955-792X N1 - 2021 fortgesetzt als Online-Ausgabe UR - https://katalog.ub.uni-leipzig.de/Record/0-130891975 ER -