The Work Über das Auflösungsproblem im logischen Klassenkalkül The details The Author Leopold Löwenheim The offers
