A Survey of Symbolic Logic #222255

But this survey does not pretend to be encyclopedic. A gossipy recital of results achieved, or a superficial account of methods, is of no more use in symbolic logic than in any other mathematical discipline. What is presented must be treated in sufficient detail to afford the possibility of real insight and grasp. This aim has required careful selection of material.