Buku ini adalah buku pertama dalam bidang logika yang sebenarnya lebih tepat disebut logika matematika, yakni logika yang menggunakan kaidah matematika untuk pembuktiannya. Oleh sebab itu buku ini pertama kali akan menjelaskan tentang logika dan hal-hal yang berkaitan dengan istilah tersebut, kemudian dilanjutkan tentang berbagai pengertian di dalam logika antara lain statement, argumen, variabel, simbol, perangkai dan lain-lainnya serta tujuan utama logika yakni pembuktian suatu argumen.