Displaying similar documents to “Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.”