TY - BOOK AU - Mellone, S.H. TI - Elements of modern logic PB - University tutorial press. London, U.K. ER -