Buku teks ini adalah pengantar teori sederhana yang memperluas logika orde pertama. Ilustrasi buku ini menggunakan Alonzo, sangat cocok untuk mengekspresikan penalaran tentang ide-ide matematika. Pertama akan ada survey untuk konsep dan notasi matematika. Lalu dilanjutkan dengan sintax dan semantik serta teori morphin.