product iamge

Einfuhrung in die Mathematische Logik, 3. Auflage

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Wolfgang Rautenberg
Year: 2008

Language: German
Pages: 274

B001BTS560......Page 1
Einführung in die Mathematische Logik, 3. Auflage......Page 3
Zum Geleit......Page 5
Vorwort
zur 3. Auflage......Page 6
Inhaltsverzeichnis......Page 9
Einleitung......Page 12
Kapitel 1
Aussagenlogik......Page 19
Kapitel 2 Prädikatenlogik......Page 51
Kapitel 3 Der Gödelsche Vollständigkeitssatz......Page 89
Kapitel 4
Grundlagen der
Logikprogrammierung......Page 123
Kapitel 5
Elemente der Modelltheorie......Page 149
Kapitel 6
Unvollständigkeit und
Unentscheidbarkeit......Page 185
Kapitel 7
Zur Theorie der Selbstreferenz......Page 227
Lösungshinweise zu den Übungen......Page 249