odel, Ein Spezialfall des Entscheidungsproblems der theoretischen Logik, Ergebnisse der (1932)

by K G
Venue:Mathematik Kolloq