Predicate (logic)
article-link
What links here
Free variables and bound variables
Synthetic geometry
article-link
Curry–Howard correspondence
article-link
Sequent calculus
article-link
Summation
article-link
Indicator function
article-link
Hoare logic
article-link
Analytic philosophy
article-link
Fixed-point combinator
article-link
Combinatory logic
article-link
Axiom of extensionality
article-link
Type theory
article-link
Variable
article-link
Scheme (programming language)
article-link
Naive Set Theory (book)
article-link
Metasyntactic variable
article-link
Lambda calculus
article-link
Convolution
article-link
Axiom
article-link
Bound variable
redirect
Free variable
redirect