TY - GEN AU - Asser, G TI - Einfuhrung in die mathematische logik PY - 1972/// CY - Teubner PB - B. G. Teubner N1 - Contine bibliografie ER -