Title: The Kleene Symposium
Subjects: Congresses, Intuitionistic mathematics, Recursion theory
People: Stephen Cole Kleene (1909-)