Einfuhrung in die mathematische logik klassische pradikatenlogik - Hermes Hans (Stuttgart B G Teubner, 1963)
Keywords: Mathematical logic; Symbolic logic