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 -
Download citation