utte, Untersuchungen zum Entscheidungsproblem der mathematischen Logik (1934)

by K Sch
Venue:Mathematische Annalen