Logic, proof, and sets by Marvin L. Bittinger | Lex | Lex