-
Seeing Quantifier Scope: Quine’s Bond Notation
A short introduction to Quine’s bond notation and an interactive browser tool for visualizing variable binding in first-order logic.
-
Limits and Colimits, Part 4 Colimits
-
Remark on applications of Zeng und Husing to boolean equations and graph theoretic problem
-
HaoWang and Russell on Philosophy
-
How not to prove Tennenbaum's Theorem