Mellone, S.H.

Elements of modern logic - viii-333 - University tutorial press. London, U.K.