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