|
by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990
Subjects:
“...Mathematical Logic and Foundations...”Published 1990
Springer Berlin Heidelberg