Theory of Logical Calculi

More about the book

Focusing on the foundational concepts of logic, this book offers an elementary exposition primarily centered on propositional calculus, with a brief mention of quantificational logic in the final chapter. It emphasizes selected topics rather than attempting to cover the entire subject comprehensively, providing detailed discussions of key results, including some non-trivial insights. The work draws on the historical context of J. Łukasiewicz's seminar on mathematical logic, highlighting the evolution of central ideas in the field.