Mathematical logic for computer science. (Saint Joseph's University)