GERMAN

Einführung in die klassische und intensionale Logik

By Ulf , Friedrichsdorf

Book information

Publisher
Vieweg
Year
1992
ISBN
9783528064891, 3528064897
Language
german
Format
PDF
Filesize
7 MB (7760300 bytes)
Pages
VII, 354\362
Time added
2017-08-30 23:32:10
LogicSymbolic and mathematical;Mathematische Logik;Inte

Description

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz. Front Matter....Pages I-VII Mengen, Relationen und Funktionen....Pages 1-18 Aussagenlogik....Pages 19-44 Modale Aussagenlogik....Pages 45-88 Varianten der modalen Aussagenlogik....Pages 89-108 Grundbegriffe der Prädikatenlogik....Pages 109-142 Normalformen und der Satz von Herbrand....Pages 143-158 Der Gödelsche Vollständigkeitssatz....Pages 159-170 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze....Pages 171-208 Einige modelltheoretische Begriffe und Sätze....Pages 209-258 Modale Prädikatenlogik....Pages 259-272 Dynamische Prädikatenlogik....Pages 273-292 Höherstufige Prädikatenlogik....Pages 293-307 Typentheorie....Pages 309-331 Back Matter....Pages 333-356

Similar books