Manyebook
William H. Meyer
Introduction to Symbolic Logic and its Applications