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

Börger, E ; Hasenjaeger, G ; Rödding, D Hasenjaeger, G. ; Börger, E. ; Rödding, D.

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível