declarative programming
logic programming
imperative programming
logic diagram
logical operation
logic operation
sublogic
logical notation
logical diagram
temporal logic
Herbrand's theorem
logic
monadic second-order logic
logistic
formal logic
computationally
material logic
literate programming
threshold element
threshold gate
extracomputational
co-recursive
list-processing language
circular
LISP
logicomathematical
predicate calculus
functional calculus
logical system
system of logic
clausifier
computistically
predicate logic
second-order logic
algebraic language
natural deduction
Boolean algebra
foreground processing
formatting
foregrounding
codestream
format
macrosyntactically
data formatting
dataflow programming
first-class continuation
logico-linguistic
by extension
tacit programming
subcomputation
Boolean logic
data format
NAND circuit
logic circuit
doxastic logic
Heyting algebra
Karnaugh map
NAND gate
computative
alogical
operation
setting rule
stringifier
explanans
multidimensional language
symbolic logic
logicist
computational
Gentzenization
non-classical logic
symbolic logician
algebra
type theory
witcraft
rationalization
Presburger arithmetic
mathematical sociology
prototype-oriented programming
extralogically
deployment
heuretic
precompiler
overcomplete
extralogical
aspect-oriented
syllogistic
mathematical logic
calcular
XNAND
logicize
Montague grammar
programming
reckon out