New methods in symbolic logic - Stanley, Gerald B. (Houghton Mifflin Comp., 1971)
vi, 217 p.; 24 cm.