1
Published 1990
Springer Berlin Heidelberg
.... Other topics covered include computational complexity theory, generalized recursion theory, proof...