TY - GEN AU - Hermes, H TI - Mathematische logik PY - 1952/// CY - Leipzig PB - B. G. Teubner ER -