000 00504nmm a2200145Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9783540471356
100 _aSteven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi
245 0 _aLogic and Computer Science
250 _a1990
260 _bSpringer Berlin Heidelberg
_c1990
440 _aLecture Notes in Mathematics
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/BFb0093921
999 _c8066
_d8066