Stephen Kleene, who had just completed his PhD at Princeton, took notes of these lectures that have been subsequently published.
Stephen Kleene, que xustamente completaba o seu doutoramento en Princeton, anotou eses cursos, e foron publicados subsecuentemente.