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 |
Signatur | QR | Standort | Status | |
---|---|---|---|---|
UBN/SK 130 K92 | Zweigstelle Neuenheim / Magazin INF 329 | bestellbar | ||
Mediennummer: 03007878 | ||||
WS/SK 130 K92 | Campusbibliothek Bergheim / Freihandbereich Monographien | bestellbar | ||
Mediennummer: 57059694, Inventarnummer: 81839 | ||||
Kreis | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | ||
Mediennummer: 34121964, Inventarnummer: f 728 | ||||
Kreis;;2. Ex. | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | ||
Mediennummer: 34121965, Inventarnummer: 75/f 4000 | ||||
<PI> 120 Kre | Philosophisches Seminar | Präsenznutzung | ||
Mediennummer: 61368449, Inventarnummer: 17990 |