Books by Stephen Pollard

This book draws readers into the philosophy of mathematics by having them do mathematics. Coverage includes primitive recursive arithmetic, Goedel's theorems, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. Includes 298 exercises.