predicate logic
Herbrand's theorem
figuring out
rhyme or reason
alogical
second-order logic
witcraft
logicalization
logical notation
prelogical
logicking
base
chop logic
logic diagram
logicist
term logic
logicomathematical
metalogic
logically
first things first
heuretic
logicity
ratiocination
abstract universal
logical
propositional calculus
Davis-Putnam algorithm
logical system
logic
a priori
system of logic
relational model
Presburger arithmetic
sentential logic
non-classical logic
formal logic
zero-order logic
logification
material logic
logico-linguistic
monadic second-order logic
subject
reasoned
denial
suprarational
rationalize
domain of discourse
rationalise
sublogic
logic programming