Logic by John A. Oesterle & Osterle