On Tarski's formalization of predicate logic with identity Donald KalishRichard Montague OriginalPaper Pages: 81 - 101
Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität Ronald Björn Jensen OriginalPaper Pages: 128 - 138
Darstellungen der (im KALMÁR-CSILLAG'schen Sinne) Elementaren Funktionen Dieter Rödding OriginalPaper Pages: 139 - 158