Logical Foundations of Computer Science (In 2 Volume)

Peter A. Fejer & Dan A. Simovici