Thomason, Richard H. Symbolic logic an introduction by Richmond H. Thomason, - London Macmillan Co. 1970 - xiii, 367p, incl bibl. & ind. LCCN: 72-83069 Dewey Class. No.: 511.3 / N702