TY - `BOOK` AU - Kreisel, Georg AU - Krivine, Jean-Louis AU - Jung, Joachim TI - Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie PB - Springer CY - Berlin ; Heidelberg [u.a.] PY - 1972 LA - ger SE - XV, 274 S. T2 - Hochschultext SN - 0-387-05654-8 SN - 3-540-05654-8 SN - 978-3-540-05654-6 SN - 978-0-387-05654-8 KW - Modelltheorie KW - Modelltheorie CN - UBN/SK 130 K92 CN - Kreis CN - Kreis CN - <PI> 120 Kre CN - WS/SK 130 K92 AN - UBHD-1025210 ER -