Logic, Language And Computation by Jerry Seligman