Theory of Logical Calculi
- 496pages
- 18 heures de lecture
This book aims to provide an elementary introduction to basic concepts in classical and non-classical logics, focusing primarily on propositional calculus. While it touches on quantificational logic, it emphasizes selected topics with detailed explanations of key results, reflecting influences from J. Łukasiewicz's seminar on mathematical logic.
