Introduction to symbolic logic and its applications - Meyer W H; Wilkinson John (London Constablee, 1958)
Keywords: Mathematical logic; Symbolic logic