TY - `BOOK` AU - Hermes, Hans TI - Einführung in die mathematische Logik : klassische Prädikatenlogik ET - 3., neubearb. u. erw. Aufl. PB - Teubner CY - Stuttgart PY - 1972 LA - ger SE - 206 S T2 - Mathematische Leitfäden N1 - Literaturverz. S. 196 - 197 SN - 3-519-12201-4 SN - 978-3-519-12201-2 KW - Mathematische Logik CN - LN-U 3-886 CN - PY/SK 130 H553(3) CN - <DE> LOG 1 HER 264/1 CN - Herme AN - UBHD-1016398 ER -