Get personalized book recommendations based on your reading history and preferences. Our algorithm analyzes your favorite books and reading patterns to suggest your next great read.

Symbolic logic (also called formal logic or mathematical logic) is a category of books focused on the study and use of formal languages, symbols, and rigorous methods for representing and evaluating arguments and reasoning. Works in this category cover topics such as propositional and predicate logic, syntax and semantics, proof systems and inference rules, model theory, proof theory, computability, decidability, and automated reasoning, and they range from introductory textbooks and problem collections to advanced monographs and research-level treatments. These books emphasize formalization of natural language arguments, methods for constructing and verifying proofs, and applications to mathematics, computer science (e.g., programming language semantics, verification), linguistics, and philosophy. Suitable for students, researchers, and anyone seeking systematic, symbolic approaches to logic, the category includes pedagogical introductions, worked exercises, reference works, and historical or philosophical discussions of formal systems.

Filter books by their publication year. Enter the earliest year (Start) and latest year (End) to find books published within that period. Leave either field empty to search from the beginning of time or up to the present day.