Skip to contents Bülow, Christopher von [Author] Beweisbarkeitslogik : Gödel , Rosser, Solovay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos-Verl., 2006 Published in: Logische Philosophie Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [5., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg + Teubner, 2011 Published in: Leitfäden der Informatik Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [4., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg + Teubner, 2009 Published in: Leitfäden der Informatik- Studium Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [2., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2002 Published in: Leitfäden der Informatik Witt, Kurt-Ulrich [Author] Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion ; [Lehrbuch] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, 2013 Published in: Lehrbuch Lauth, Bernhard [Author] Formallogische Untersuchungen zu Aristoteles und Thomas von Aquin - [Unveränd. Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Utz, Wiss., 1998 Published in: Philosophie Lauth, Bernhard [Author] Formallogische Untersuchungen zu Aristoteles und Thomas von Aquin Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988 Hölldobler, Steffen [Other] Logik und Logikprogrammierung / 2, Aufgaben und Lösungen / Steffen Hölldobler - [Neuausg.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron-Verl., 2011 Published in: Logik und Logikprogrammierung / Steffen Hölldobler ; 2 Logik und Logikprogrammierung / 1, Grundlagen - [Neuausg.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron, 2009 Published in: Logik und Logikprogrammierung / Steffen Hölldobler ; 1 Hölldobler, Steffen [Author] Logik und Logikprogrammierung - [3., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron, Wiss.-Verl. der Autoren, 2003 Published in: Kolleg Synchron Hölldobler, Steffen [Author] Logik und Logikprogrammierung - [2., erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron, Wiss.-Verl. der Autoren, 2001 Published in: Kolleg Synchron Bundy, Alan [Other] Rippling : meta-level guidance for mathematical reasoning - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2005 Published in: Cambridge tracts in theoretical computer science ; 56 Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [3., überarb. und erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Teubner, 2006 Published in: Leitfäden der Informatik- Lehrbuch ; Informatik Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig: Teubner, 2000 Published in: Leitfäden der Informatik Siefkes, Dirk [Author] Formalisieren und beweisen : Logik für Informatiker - [2., verb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1992 Freund, Helmut [Author]; Sorger, Peter [Author] Logik, Mengen, Relationen : Praxis des mathematischen Beweisens ; mit 61 Beispielen und 116 Aufgaben Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1976 Published in: Mathematik für die Lehrerausbildung Freund, Helmut [Author]; Sorger, Peter [Author] Aussagenlogik und Beweisverfahren : mit 45 Beispielen und 81 Aufgaben Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1974 Published in: Mathematik für die Lehrerausbildung Marek, Victor W. [Author]; Marek, Wiktor [Author]; Onyszkiewicz, Janusz [Author] Elements of logic and foundations of mathematics in problems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel [u.a.], 1982 Boyer, Robert S. [Author]; Moore, J Strother [Author] A computational logic handbook Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Academic Press, 1988 Published in: Perspectives in computing ; 23 Ricken, Friedo [Editor]; Essler, Wilhelm K. [Other] Klassische Gottesbeweise in der Sicht der gegenwärtigen Logik und Wissenschaftstheorie Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart [u.a.]: Kohlhammer, 1991 Published in: Münchener philosophische Studien ; 400
Bülow, Christopher von [Author] Beweisbarkeitslogik : Gödel , Rosser, Solovay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos-Verl., 2006 Published in: Logische Philosophie
Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [5., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg + Teubner, 2011 Published in: Leitfäden der Informatik
Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [4., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg + Teubner, 2009 Published in: Leitfäden der Informatik- Studium
Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [2., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2002 Published in: Leitfäden der Informatik
Witt, Kurt-Ulrich [Author] Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion ; [Lehrbuch] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, 2013 Published in: Lehrbuch
Lauth, Bernhard [Author] Formallogische Untersuchungen zu Aristoteles und Thomas von Aquin - [Unveränd. Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Utz, Wiss., 1998 Published in: Philosophie
Lauth, Bernhard [Author] Formallogische Untersuchungen zu Aristoteles und Thomas von Aquin Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988
Hölldobler, Steffen [Other] Logik und Logikprogrammierung / 2, Aufgaben und Lösungen / Steffen Hölldobler - [Neuausg.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron-Verl., 2011 Published in: Logik und Logikprogrammierung / Steffen Hölldobler ; 2
Logik und Logikprogrammierung / 1, Grundlagen - [Neuausg.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron, 2009 Published in: Logik und Logikprogrammierung / Steffen Hölldobler ; 1
Hölldobler, Steffen [Author] Logik und Logikprogrammierung - [3., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron, Wiss.-Verl. der Autoren, 2003 Published in: Kolleg Synchron
Hölldobler, Steffen [Author] Logik und Logikprogrammierung - [2., erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Synchron, Wiss.-Verl. der Autoren, 2001 Published in: Kolleg Synchron
Bundy, Alan [Other] Rippling : meta-level guidance for mathematical reasoning - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2005 Published in: Cambridge tracts in theoretical computer science ; 56
Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [3., überarb. und erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Teubner, 2006 Published in: Leitfäden der Informatik- Lehrbuch ; Informatik
Meinel, Christoph [Author]; Mundhenk, Martin [Author] Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig: Teubner, 2000 Published in: Leitfäden der Informatik
Siefkes, Dirk [Author] Formalisieren und beweisen : Logik für Informatiker - [2., verb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1992
Freund, Helmut [Author]; Sorger, Peter [Author] Logik, Mengen, Relationen : Praxis des mathematischen Beweisens ; mit 61 Beispielen und 116 Aufgaben Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1976 Published in: Mathematik für die Lehrerausbildung
Freund, Helmut [Author]; Sorger, Peter [Author] Aussagenlogik und Beweisverfahren : mit 45 Beispielen und 81 Aufgaben Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1974 Published in: Mathematik für die Lehrerausbildung
Marek, Victor W. [Author]; Marek, Wiktor [Author]; Onyszkiewicz, Janusz [Author] Elements of logic and foundations of mathematics in problems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel [u.a.], 1982
Boyer, Robert S. [Author]; Moore, J Strother [Author] A computational logic handbook Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston [u.a.]: Academic Press, 1988 Published in: Perspectives in computing ; 23
Ricken, Friedo [Editor]; Essler, Wilhelm K. [Other] Klassische Gottesbeweise in der Sicht der gegenwärtigen Logik und Wissenschaftstheorie Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart [u.a.]: Kohlhammer, 1991 Published in: Münchener philosophische Studien ; 400
> Media type Skip to next facet Books (56) Wert ausschließen Articles (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (23) Wert ausschließen Stack Collection (20) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (28) Wert ausschließen Departmental Library DrePunct (22) Wert ausschließen TU Dresden holdings (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (17) Wert ausschließen Show more show less
> Language Skip to next facet English (32) Wert ausschließen German (28) Wert ausschließen Latin (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (31) Wert ausschließen Computer science (30) Wert ausschließen Philosophy (12) Wert ausschließen Theology and religious studies (4) Wert ausschließen Musicology (2) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen Byzantine studies (1) Wert ausschließen Psychology (1) Wert ausschließen Technology (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Meinel, Christoph (9) Wert ausschließen Mundhenk, Martin (9) Wert ausschließen Hölldobler, Steffen (3) Wert ausschließen Kirchner, Hélène (3) Wert ausschließen Martin-Löf, Per (3) Wert ausschließen Armando, Alessandro (2) Wert ausschließen COLOG 1 1988 Tallin (2) Wert ausschließen Caferra, Ricardo (2) Wert ausschließen Essler, Wilhelm K. (2) Wert ausschließen Fitting, Melvin (2) Wert ausschließen Freund, Helmut (2) Wert ausschließen Gramlich, Bernhard (2) Wert ausschließen Konev, Boris (2) Wert ausschließen Lauth, Bernhard (2) Wert ausschließen Mints, Grigori (2) Wert ausschließen Ricken, Friedo (2) Wert ausschließen Ringeissen, Christophe (2) Wert ausschließen Siefkes, Dirk (2) Wert ausschließen Sorger, Peter (2) Wert ausschließen Weingartner, Paul (2) Wert ausschließen Wolter, Frank (2) Wert ausschließen Axt, Paul (1) Wert ausschließen Berghammer, Rudolf (1) Wert ausschließen Boyer, Robert S. (1) Wert ausschließen Bundy, Alan (1) Wert ausschließen Bülow, Christopher von (1) Wert ausschließen Chang, Chin-Liang (1) Wert ausschließen ETAPS 9 2006 Wien (1) Wert ausschließen FroCoS 3 2000 Nancy (1) Wert ausschließen FroCoS 4 2002 Santa Margherita Ligure (1) Wert ausschließen FroCoS 5 2005 Wien (1) Wert ausschließen FroCoS 6 2007 Liverpool (1) Wert ausschließen Furbach, Ulrich (1) Wert ausschließen Giese, Martin (1) Wert ausschließen Gordon, Michael J. C. (1) Wert ausschließen Göbler, Felix (1) Wert ausschließen Hermanns, Holger (1) Wert ausschließen IJCAR 3 2006 Seattle, Wash (1) Wert ausschließen International Workshop on First Order Theorem Proving 1998 Wien (1) Wert ausschließen Küronya, Alex (1) Wert ausschließen Lakatos, Imre (1) Wert ausschließen Lee, Richard Char-Tung (1) Wert ausschließen Letz, Reinhold (1) Wert ausschließen Marek, Victor W. (1) Wert ausschließen Marek, Wiktor (1) Wert ausschließen Mayr, Klaus (1) Wert ausschließen Melham, T. F. (1) Wert ausschließen Moore, J Strother (1) Wert ausschließen Onyszkiewicz, Janusz (1) Wert ausschließen Orey, Steven (1) Wert ausschließen Palsberg, Jens (1) Wert ausschließen Salzer, Gernot (1) Wert ausschließen ScienceDirect (Online service) (1) Wert ausschließen Stuber, Jürgen (1) Wert ausschließen Sørensen, Morten Heine (1) Wert ausschließen TACAS 12 2006 Wien (1) Wert ausschließen Thomas von Aquin, Heiliger (1) Wert ausschließen Urzyczyn, Paweł (1) Wert ausschließen Witt, Kurt-Ulrich (1) Wert ausschließen Worrall, John (1) Wert ausschließen Worrall, John D. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (55) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (1) Wert ausschließen Show more show less