Semantic Foundations of Logic Volume 1: Propositional Logics

The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value.