Including the standard constructions of relations, functions, & orderings, & leading to a discussion of the various orders of infinity, this work covers the standard statement logic & first-order predicate logic, &
Includes:: an introduction to formal systems, axiomatization, & model theory.