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
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
13 475
Ft