Delong, Howard Profile of mathematical logic - Massachusetts Addison Wesley 1971 - xiv, 304p p. Subjects--Index Terms: Logic, Symbolic and mathematical