Einführung in die mathematische Logik (Spektrum Hochschultaschenbücher) (Taschenbuch) von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas   Kurzbeschreibung: Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Kann man das Auffinden mathematischer Beweise Computern übertragen? Antworten auf derlei Fragen stehen im Mittelpunkt dieser systematischen Einführung in die mathematische Logik erster Stufe. Die Lektüre setzt keine spezifischen mathematischen Vorkenntnisse voraus. Lesen Sie mehr... Rezensionen ansehen...   Angebote zu  Einführung ,  Logik ,  Spektrum  ab 1 Euro! Siehe auch folgende Artikel: Einführung in die mathematische Logik von Alfred Tarski Mathematische Logik, kurzgefaßt. Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre (Spektrum Hochschultaschenbücher) von Hans-Peter Tuschik Einführung in die Mengenlehre. Mit Aufgaben und Lösungshinweisen (Spektrum Hochschultaschenbücher) von Heinz-Dieter Ebbinghaus Einführung in die Mengenlehre (Springer Lehrbuch) von Oliver Deiser Mehr zu  Logik,  Logik,  Logik,  Allgemeine Einführungen,  Fachbücher Home ...,    Angebote ansehen ...,    Begleitseite ... Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de Copyright © DomainLoc.com GmbH (Impressum)