Logic and Computer ScienceAndre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi E-bok2006364 kr