Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions