xiphisternum
substitute
fat comma
adjunctive
coding
forelock
neutrosophy
deduce
Boolean algebra
proof system
Boolean logic
infer
topological space
logic diagram
muxer
detour
Herbrand's theorem
subxiphoid
mux
xem
memistor
spiral
downsampler
decodification
I-bar
multiplicative identity
semanticist
stringifier
logic
logicism
mathematical logic
maplet
ternary computer
transxiphoid
dioid
corner quote
syllogist
strict implication
multilinking
Oesterlé-Masser conjecture
circular
xiphoid
domain of discourse
notatable
witcraft
xiphisternal
intramodular
Leyland number