Title: Infinitistic methods
Subjects: Congresses, Congresses,, Infinite Processes, Metamathematics, Processes, Infinite