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
Götze, Wolfgang: Mathematik für Wirtschaftsinformatiker
: Lehr- und Übungsbuch / von Professor Dr. Wolfgang Götze. - Berlin : De Gruyter, 2017. - 193 Seiten : Illustrationen; 24 cm
ISBN 978-3-486-25783-0 Festeinband
Quelle: DNB
Meinel, Christoph: Mathematische Grundlagen der Informatik
: mathematisches Denken und Beweisen - eine Einführung / von Christoph Meinel und Martin Mundhenk. - Stuttgart : Teubner, 2000. - 301 S.; 23 cm - (Leitfäden der Informatik)
ISBN 978-3-519-02949-6 / 3-519-02949-9 kart. : DM 58.00, sfr 52.50, S 423.00
Quelle: DNB
Ziegler, Martin: Mathematische Logik
/ Martin Ziegler. - Basel : Birkhäuser, 2010. - VIII, 116 S. : graph. Darst.; 24 cm - (Mathematik Kompakt)
ISBN 978-3-7643-9973-3 kart. : EUR 18.90, sfr 29.90 (freier Pr.)
Literaturverz. S.
Quelle: DNB Verlagsmeldungen
Tuschik, Hans-Peter: Mathematische Logik - kurzgefasst
: Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre / von Hans-Peter Tuschik und Helmut Wolter. - Mannheim : BI-Wiss.-Verl., 1994. - 203 S.; 21 cm
ISBN 978-3-411-16731-9 / 3-411-16731-9 kart. : DM 29.80, sfr 29.80, S 233.00
Quelle: DNB
Methodologies for intelligent systems
: 8th international symposium ; proceedings / ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Zbigniew W. Raś ; Maria Zemankova (ed.). - Berlin : Springer, 1994. - X, 613 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 869 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58495-7 / 3-540-58495-1 kart. : DM 114.00
Literaturangaben
Quelle: DNB
Methodologies for intelligent systems
: 6th international symposium ; proceedings / ISMIS '91, Charlotte, NC, USA, October 16 - 19, 1991. Z. W. Ras ; M. Zemankova (ed.). - Berlin : Springer, 1991. - X, 644 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 542 : Lecture notes in artificial intelligence)
ISBN 978-3-540-54563-7 / 3-540-54563-8
Literaturangaben
Quelle: DNB
Methodologies for intelligent systems
: 7th international symposium ; proceedings / ISMIS '93, Trondheim, Norway, June 15 - 18, 1993. J. Komorowski ; Z. W. Raś (ed.). - Berlin : Springer, 1993. - Xi, 651 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 689 : Lecture notes in artificial intelligence)
ISBN 978-3-540-56804-9 / 3-540-56804-2 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Principia mathematica
: Vorwort und Einleitungen / Alfred North Whitehead ; Bertrand Russell. Übers. von Hans Mokre. Mit einem Beitr. von Kurt Gödel. - 3. Aufl. - Frankfurt am Main : Suhrkamp, 1994. - XXXIV, 167 S.; 18 cm - (Suhrkamp-Taschenbuch Wissenschaft; 593)
ISBN 978-3-518-28193-2 / 3-518-28193-3 kart. : DM 16.80, S 131.00
Quelle: DNB
Post, Emil L.: Solvability, provability, definability
: the collected works of Emil L. Post / Martin Davis ed.. - Boston : Birkhäuser, 1994. - XXVIII, 554 S.; 26 cm - (Contemporary mathematicians)
ISBN 978-3-7643-3579-3 / 3-7643-3579-3 Pp. : sfr 178.00
Literaturangaben
Quelle: DNB
