Signatur:
UBN/SK 130 K92
Standort: Zweigstelle Neuenheim / Magazin INF 329
Exemplare:
siehe unten
Verfasst von: | Kreisel, Georg |
| Krivine, Jean-Louis |
Titel: | Modelltheorie |
Titelzusatz: | eine Einführung in die mathematische Logik und Grundlagentheorie |
Mitwirkende: | Jung, Joachim |
Werktitel: | Eléments de logique mathématique <dt.> |
Verf.angabe: | G. Kreisel; J.-L. Krivine. Aus dem Franz. übers. von J. Jung |
Verlagsort: | Berlin ; Heidelberg [u.a.] |
Verlag: | Springer |
Jahr: | 1972 |
Umfang: | XV, 274 S. |
Format: | 25 cm |
Gesamttitel/Reihe: | Hochschultext |
ISBN: | 0-387-05654-8 |
| 3-540-05654-8 |
| 978-3-540-05654-6 |
| 978-0-387-05654-8 |
URL: | Inhaltsverzeichnis: http://www.gbv.de/dms/hbz/toc/ht000673189.pdf |
Schlagwörter: | (s)Modelltheorie |
| (s)Modelltheorie |
Sprache: | ger |
RVK-Notation: | QH 120 |
| SK 130 |
K10plus-PPN: | 025624113 |
0-387-05654-8,3-540-05654-8,978-3-540-05654-6,978-0-387-05654-8
Modelltheorie / Kreisel, Georg; 1972
1025210