Einführung in die mathematische Logik
Gespeichert in:
Verfasser / Beitragende:
von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Ort, Verlag, Jahr:
Heidelberg [etc.] :
Spektrum Akademischer Verlag,
1996
Beschreibung:
X, 309 S. ; 21 cm
Format:
Buch
Ausgabe:
[4. Aufl.]
| ISBN: |
3-8274-0130-5 |
|---|---|
| Serie/Reihe: |
Spektrum Hochschultaschenbuch |
| Beschreibung: |
andere Ausgabe: Einführung in die mathematische Logik |
| Bibliographie: |
Literaturverz. |
| Schlagwörter IDS Basel Bern: |
Mathematische Logik > 0 Gesamtdarstellung |
| Schlagwörter GND Inhalt: |
Mathematische Logik |
| Schlagwörter Zentralbibliothek Zürich: |
Mathematische Logik Einführung |
| Schlagwörter lokal: |
logica matematica > [manuale] 510 > Mathematische Logik, Mengentheorie, Modelltheorie |