An Introduction to General Logic by