Powered by MyCoRe


Logiksysteme

Buch
Logik für Informatiker
/ Uwe Schöning. - 5. Aufl., korr. Nachdr.. - Heidelberg [u.a.] : Spektrum, Akad. Verl., 2005
zusätzliche Informationen einblenden

Buch
Logic and structure
/ Dirk van Dalen. - 4. ed.. - Berlin [u.a.] : Springer, 2004
zusätzliche Informationen einblenden

Buch
Logik für Informatiker
/ Martin Kreuzer. - München [u.a.] : Pearson Studium, 2006
zusätzliche Informationen einblenden

Buch
Introduction to mathematical logic
/ Elliott Mendelson. - 5. ed.. - Boca Raton, Fla. [u.a.] : CRC Press, c 2010
zusätzliche Informationen einblenden

Buch
Einführung in die mathematische Logik
/ Heinz-Dieter Ebbinghaus. - 5. Aufl.. - Berlin [u.a.] : Spektrum, Akad. Verl., 2007
zusätzliche Informationen einblenden

Buch
Logic, logic, and logic
/ George S. Boolos. - Cambridge, Mass. [u.a.] : Harvard Univ. Press, 1998
zusätzliche Informationen einblenden

Buch
A tour through mathematical logic
/ Robert S. Wolf. - Washington, DC : Math. Assoc. of America, 2005
zusätzliche Informationen einblenden

Buch
Logic for applications
/ Anil Nerode. - 2. ed.. - New York, NY [u.a.] : Springer, 1997
zusätzliche Informationen einblenden

Online Ressource (ohne Zeitschr.)
Automatentheorie und Logik
/ Martin Hofmann. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
zusätzliche Informationen einblenden