Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik Kurt Schütte OriginalPaper Pages: 45 - 60
A simplified formalization of predicate logic with identity Alfred Tarski OriginalPaper Pages: 61 - 79