Title: The Kleene Symposium
Subjects: Intuitionistic mathematics, Recursion theory, Congresses