Review: Saunders Mac Lane, Symbolic Logic