@grshutt I will look into these. They seem to be the kind of thing I am looking for to start my journey.

@CarlMummert I have purchased From Frege to Godel, and am requesting the others from my library. Good recommendations.

@NoahSchweber The Handbook of the History of Logic looks amazing! I will see if my library can get it. Spending hundreds (thousands) of dollars is a little out of my price range.

@GerhardPaseman I haven't access to the Handbook of Logic. But, thank you for suggesting it. Something along those lines is a good starting place. Also, Lewis Carroll's book, while not what I am looking for, is something I might use as a leisure reading book.

Thanks. I am learning a lot from these various answers.

This is also quite helpful in addition to the other responses.

This is also very helpful. Thanks.

Thanks. While it is probably outside the scope to describe this to the students, I don't feel morally opposed to including the proof in my notes.