Thomason, R. H.

Symbolic Logic: An Introduction - London Collier Macmillan 1970