Wprowadzenie do logiki to kompleksowa książka, która ukazuje podstawowe pojęcia i definicje z dziedziny logiki i metafizyki. Autor opowie o rachunku zdań, rachunku predykatów pierwszego rzędu i najróżniejszych systemach formalnych. Przybliża logikę filozoficzną, logiczną analizę języka i semantykę modalną. Książka posiada rozdziały o logice nieklasycznej i koncepcji bytu. Wnioskowaniu indukcyjnym, naturze dowodu i udowodnienia to kolejne interesujące tematy, których nie brakuje w tej książce.