|
by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990
“... on the borderline between applied logic and theoretical computer science. These courses are recorded here in five...”Published 1990
Springer Berlin Heidelberg