Proofs and Mathematical Structures
A course at
College of the Atlantic
David Feldman