#### Geoffrey B.

I have studied logic several times in both philosophy and mathematics courses, but most notably, I took a class in college on **mathematical logic** which concluded with a proof of The Soundness and Completeness Theorem of First-Order Predicate...