Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Logic and Computer Science - 1990 - Springer Berlin Heidelberg 1990 - Lecture Notes in Mathematics .

9783540471356


Mathematics and Statistics