AN INTRODUCTION TO LOGIC - Joseph, H.B.W. (Clarendon Press, 1957)