Gödel's Proof
Logic Textbooks
Higher-Order Logic and Type Theory
The Essential Peirce, Volume 1 (1867–1893): Selected Philosophical Writings
The 1903 Lowell Lectures
Deduction: Introductory Symbolic Logic
A Rulebook for Arguments
Critical Thinking: An Introduction to the Basic Skills - Canadian Seventh Edition
Introducing Logic: A Graphic Guide (Graphic Guides)
