A text on computational theory. It provides a mathematical treatment of computer science theory designed around theorems and proofs.
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!