Buku ini membahas tiga bentuk logika dasar: logika tradisional dari Mahzab Aristoteles, logika simbolik, dan logika induktif. Buku ini memperkenalkan bentuk logika modern yang dipengaruhi oleh perkembangan matematika modern. Buku ini ditujukan sebagai pegangan untuk memperkenalkan tiga bentuk logika dasar tersebut.