functional
formula
tacit programming
indefinite
declaration
logical operation
logic operation
thought-bearing
postfix notation
declare
reverse Polish notation
suffix notation
extracomputational
built-in function
quantum logic
de Bruijn index
theory
congruence
de Bruijn notation
notationally
undecidable
tail recursion
actual parameter
many-valued logic
shunting-yard algorithm
algebraic structure
nonvanishing
parenthesis-free notation
lambda term
Peirce's law
notatable
Herbrand's theorem
declarative programming
second-class object
consistency
notationless
mathematicize
arithmetization
recursive function
logistic
mathematical logic
primitive recursive
proof system
parentheme
algebraic function
formalism
linear logic
conventionalism
third-class object
clausifier