By J. Barkley Rosser
Starting with an advent to symbolic good judgment, the 1st 8 chapters advance good judgment during the limited predicate calculus. subject matters comprise the assertion calculus, using names, an axiomatic remedy of the assertion calculus, descriptions, and equality. Succeeding chapters discover summary set theory—with examinations of sophistication club to boot as relations and functions—cardinal and ordinal mathematics, and the axiom of selection. a useful reference publication for all mathematicians, this article is acceptable for complex undergraduates and graduate scholars. a variety of workouts make it particularly appropriate for school room use.