What is mathematical logicn QA9 .W - Crossley, John N. (Dover Publications, 1990)