Publication

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.
@article{AntonsenNakkerud18,
  author =       {Roger Antonsen and Andreas Nakkerud},
  title =        {Book Review: Jan von Plato, Elements of Logical Reasoning},
  journal =      {Studia Logica},
  year =         2018,
  month =        February,
  volume =       106,
  number =       1,
  pages =        {215--218},
  issn =         {0039-3215},
  url =          {https://doi.org/10.1007/s11225-018-9783-y},
  doi =          {10.1007/s11225-018-9783-y},
  publisher =    {Springer Netherlands},
}	  

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.