Opening book details…
Can I read Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung on EtoBox?
Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung by Wolfgang Rautenberg (auth.) is a nonfiction available to read on EtoBox.
What is Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung about?
Inhalt Aussagenlogik - Pr?dikatenlogik - Der G?delsche Vollst?ndigkeitssatz - Grundlagen der Logikprogrammierung - Elemente der Modelltheorie - Unvollst?ndigkeit und Unentscheidbarkeit - Zur Theorie der Selbstreferenz - L?sungshinweise zu den ?bungen - Symbolverzeichnis Zielgruppe Studenten der Mathematik und Informatik ab dem 5. Semester ?ber den Autor/Hrsg Professor Wolfgang Rautenberg lehrt Mathematik an der Freien Universit?t Berlin.
Who reads Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Wolfgang Rautenberg (auth.)
- Publisher
- Vieweg+Teubner Verlag
- Published
- 1995
- Language
- DE
- ISBN
- 9783528067540
- Category
- nonfiction
- Subjects
- Mathematics, Stem
Other editions & translations
- Einführung In Die Mathematische Logik: Ein Lehrbuch (2008)
- Einführung in die mathematische Logik : ein Lehrbuch mit Berücksichtigung der Logikprogrammierung (1996)
- Einfuhrung in die Mathematische Logik, 3. Auflage (2008)
- Einführung in die Mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung (2002)
More by Wolfgang Rautenberg (auth.)
Browse all works by Wolfgang Rautenberg (auth.)
Similar books
- Einführung in die Mathematische Logik : Und in die Methodologie der Mathematik — Alfred Tarski (auth.) (1937)
- Einführung in das mathematische Arbeiten (Springer-Lehrbuch) — Hermann Schichl, Roland Steinbauer (auth.) (2009)
- Einführung in die Industrieökonomik (Springer-Lehrbuch) — Dr. Stefan Bühler, Professor Dr. Franz Jaeger (auth.) (2002)
- Einführung in partielle Differentialgleichungen: Ein numerischer Zugang (Springer-Lehrbuch) — Professor Dr. Aslak Tveito, Professor Dr. Ragnar Winther (auth.) (2002)
- Nutzen- und Entscheidungstheorie: Einführung in die Logik der Entscheidungen — Franz Ferschl (auth.) (1975)
- Mathematische Modellierung : Eine Einführung in die Problematik — Prof. Dr. rer. nat. Werner Krabs (auth.) (1997)
