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
Editat de E. Börger et al.
mai 1984
Paperback
Preț: 354.41 lei
6-8 săpt.