APA Citation

Börger, E., Hasenjaeger, G., & Rödding, D. (1984). Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen (1st ed. 1984.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Börger, E., G. Hasenjaeger, and D. Rödding. Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” Held From May 23–28, 1983 At the Institut Für Mathematische Logik Und Grundlagenforschung Der Universität Münster/Westfalen. 1st ed. 1984. Berlin, Heidelberg: Springer Berlin Heidelberg, 1984.

MLA Citation

Börger, E., G. Hasenjaeger, and D. Rödding. Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” Held From May 23–28, 1983 At the Institut Für Mathematische Logik Und Grundlagenforschung Der Universität Münster/Westfalen. 1st ed. 1984. Berlin, Heidelberg: Springer Berlin Heidelberg, 1984.