Theoretical foundations of computer science

by Dino Mandrioli