Wprowadzenie do logiki to kompleksowa książka, która prezentuje podstawowe pojęcia i definicje z dziedziny logiki oraz metafizyki. Autor opowie o rachunku zdań, rachunku predykatów pierwszego rzędu i różnych systemach formalnych. Przybliża logikę filozoficzną, logiczną analizę języka i semantykę modalną. Książka zawiera 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.