Book

Mathematical Foundations of Computer Science 1992

by Ivan M. Havel