Logic, Language And Computation door Jerry Seligman