Foundations of Logic and Theory of Computation (Texts in Computing)