Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik - Hermes, Hans. (Stuttgart: Teubner, 1963)
Includes bibliographical references ( p. [179]-180) and index.
Keywords: Logic, Symbolic and mathematical; Algebric logic