Henkin
article-link
What links here
Leon Henkin
List of logicians
article-link
Diagonal lemma
article-link
Second-order logic
article-link
Alfred Tarski
article-link
Alonzo Church
article-link
Strange loop
article-link
Universal algebra
article-link
Gödel's completeness theorem
article-link
April 19
article-link