Rackoff, Charles W. books & textbook

Computational Complexity of Logical Theories (Lecture Notes in Mathematics, 718)

Ferrante, Jeanne Rackoff, Charles W.

Springer /1979-07-01 Paperback / 256 Pages
isbn-10: 3540095012 / isbn-13: 9783540095019