Logic for mathematicians - Hamilton, A. G., 1943- (Cambridge : Cambridge University Press, 1978)
Includes index
Bibliography: p. 215
2
Keywords: Logic, Symbolic and mathematical