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