Thomas, Wolfgang: Einführung in die mathematische Logik

/ Heinz-Dieter Ebbinghaus ; Jörg Flum ; Wolfgang Thomas. - 5. Aufl. - Heidelberg : Spektrum, Akad. Verl., 2007. - IX, 339 S.

ISBN 978-3-8274-1691-9 978-3-8274-1691-9

Literaturverz.: S. 325-327

Quelle: NÖ Landesbibliothek

Ebbinghaus, Heinz-Dieter: Einführung in die mathematische Logik

/ von Heinz-Dieter Ebbinghaus ; Jörg Flum ; Wolfgang Thomas. - 3., vollst. überarb. und erw. Aufl. - Mannheim : BI-Wiss.-Verl., 1992. - X, 338 S.; 21 cm

ISBN 978-3-411-15603-0 / 3-411-15603-1 kart. : DM 28.80

Literaturverz. S. 323 - 326

Quelle: DNB

Foundations of software science and computation structures

: second international conference ; proceedings / FOSSACS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999. Wolfgang Thomas (ed.). - Berlin : Springer, 1999. - X, 321 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1578)

ISBN 978-3-540-65719-4 / 3-540-65719-3 kart. : DM 78.00

Literaturangaben

Quelle: DNB

Ebbinghaus, Heinz-Dieter: Mathematical logic

/ H.-D. Ebbinghaus ; J. Flum ; W. Thomas. - 2. ed. - New York : Springer, 1994. - X, 289 S.; 24 cm - (Undergraduate texts in mathematics)

ISBN 978-3-540-94258-0 / 3-540-94258-0 Pp. : DM 78.00

Quelle: DNB

Proceedings / STACS 2007

/ 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22 - 24, 2007. Wolfgang Thomas ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4393)

ISBN 978-3-540-70918-3

Lizenzpflichtig

Quelle: DNB