這種可訪問的，對符號邏輯的簡短介紹包括對句子和謂詞邏輯，翻譯，真值表和派生的覆蓋。作者的引人入勝的風格使其成為形式邏輯的最非正式的介紹。對於不熟悉數學或正式系統的讀者，可以通過對話，易於理解的方式解釋主題，並且作者提供耐心，易於閱讀的解釋 - 即使偶爾也會有點幽默。
本書的前半部分涉及句子邏輯的所有基本要素：五個真值函數連接詞，形成規則和對該語言的翻譯，有效性的真值表，邏輯真/假，等價，一致性和推導。下半部分涉及量詞邏輯：兩個量詞，形成規則和翻譯，通過「尋找解釋」和推導來展示某些邏輯特徵。
整個過程中散布著大量的練習，比許多文本更多，按照難度增加的順序排列，包括單獨的答案鍵。
注釋
「市場上最整潔的邏輯文本。正是您所需要的，而不是更多，呈現出輕鬆和學生友好的感覺。「 - 艾伯塔大學的Adam Morton