Book

Logic and Computer Science

by Steven Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks