Foundations of Computer Science by Hans-Peter Bischof
1998
This text is an introduction to the formal study of computation. The course will provide students with a broad perspective of computer science and will acquaint them with various formal systems on which modern computer science is based.
Computers & Internet Computer Science