eidetic
An Interpretation of the Intuitionistic Propositional Calculus
truth functional
Thinking about Mathematics
Critical Thinking
Explicatum
developer
The Completeness of the First-Order Functional Calculus
Affirming the consequent
completeness
Structural completeness
strong completeness
Semantic completeness
Syntactical completeness
implication fragment of R
pluralism
Theoria
tableau
tableaux
trade-off
spider
throne
translator
transcendence
diagonal
term
alligator
faculty
berry
Thoralf Skolem
Thomas H. Cormen
Topology
individuals
monoid
monopoly
Timothy Williamson
verificationism
subcontrary
fatalism
Universal Instantiation
strengthened
The Correspondence between Intuitionistic and superIntuitionistic logic and modal logic S4 and above S4
subalternation
synthetic apriori
The Mathematical Analysis of Logic
Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic
contrary
contradiction
dialetheia
conceive
successor
idempotent
function
weakening