Logic And Mathematics Entries
- Existential Second-Order Logic: Unpacking the Foundations — A Deep Dive into the Tensions and Triumphs of a Powerful Logical Framework
- Dynamic Modal Logic — A Framework for Reasoning About Change and Uncertainty
- Natural Deduction: Unpacking the Foundations of Logical Reasoning — A historical, philosophical, and technical exploration of natural deduction syst
- Truth Table — A Logical Framework for Evaluating Statements
Browse A–Z
A · B · C · D · E · F · G · H · I · J · K · L · M · N · O · P · Q · R · S · T · U · V · W · X · Y · Z · 0-9