P-bar
extralogically
linear logic
by extension
multiplicative identity
logic diagram
quus
extralogical
vel
xem
symbolic logician
xylemian
interoperator
ternary computer
xylemic
stringifier
signifying chain
inclusive or
ultra large scale integration
Presburger arithmetic
relative pseudo-complement
metalogic
suprarational
domain of discourse
vector algebra
witcraft
precomposition
formal logic
bidifferential
universal quantifier
programmable logic array
fat comma
negation
codebreaking
forelock
primorial
Leyland number
logicomathematical
fractional calculus
join
topological space
Euclidean division
quandle
alogical
associativity
xeromorphous
unary
memistor