Lecture notes by Paul Bernays. Unpublished typescript (1920)

by D 1920a Hilbert, ‘Logik-Kalkül’ Vorlesung, Winter-Semester
Venue:Universität Göttingen