Basson A. H. and O'Connor D. J.. Introduction to symbolic logic . University Tutorial Press Ltd., London 1953, viii + 169 pp.