1. Computable functionals
2. Introduction to metamathematics. New York, Amsterdam and Groningen 1952.
3. and , Partial recursive functionals and effective operations. Constructivity in mathematics (Proceedings of the colloquium held at Amsterdam 1957), Amsterdam 1959, 290–297.