TY -
BOOK
AU - Logic Colloquium 1983 Aachen
TI -
Proceedings of the Logic Colloquium
held in Aachen, July 18 - 23, 1983
PB - Springer
KW - Konferenzschrift
PY - 1984-1984
BT - Lecture notes in mathematics ; .
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -