Author information
Authors and Affiliations
Additional information
Dieser Beweis wurde in Bonn, Wintersemester 1961/62 in einem Seminar von Prof. Gisbert Hasenjaeger, vorgetragen.
Rights and permissions
About this article
Cite this article
Jensen, R.B. Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität. Arch math Logik 7, 128–138 (1965). https://doi.org/10.1007/BF01969438
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01969438