Book Review: Jan von Plato, Elements of Logical
Roger Antonsen, Andreas Nakkerud
Studia Logica, Stud Logica (2018) volume 106, issue 1, pages 215–218, Springer Netherlands, 2018.
Abstract
The book, Elements of Logical Reasoning, is intended as a first introduction to logic and proof theory, and is targeted at a wide audience. It is not clear what the precise prerequisites of the book are, but the author recommends the book to both students of logic, mathematics, and computer science. The main emphasis of the book is on proof theory, in particular natural deduction and sequent calculus, and the book has a strong and consistent focus on syntactical arguments and procedures.