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.
Wnioskowaniu indukcyjnym, naturze dowodu i udowodnienia to kolejne interesujące tematy, których nie brakuje w tej książce.