Du er ikke logget ind
Beskrivelse
A text on computational theory. It provides a mathematical treatment of computer science theory designed around theorems and proofs.