control coupling
cryptic crossword
Boolean algebra
second-order logic
logicist
propositional logic
sentence connective
propositional calculus
fuzzy mathematics
syllogist
ring theory
axiomatic system
ternary logic
trap line
rhyme or reason
logic element
logistic
proof system
Herbrand's theorem
natural deduction
formal logic
Matiyasevich's theorem
interjoin
intersymbiont
Presburger arithmetic
axiomatically
Heyting algebra
nesting
arrowword
quantum logic gate
by extension
link
ultra large scale integration
superatomic
swivel
reflexivity
infinitism
cyrtomatodont
gating
reflexiveness
full adder
denotation
Hopf link
subnet
Cantor-Bendixson theorem
axiomic
domain of discourse