Einführung in die klassische und intensionale Logik

  • Ulf Friedrichsdorf

Table of contents

  1. Front Matter
    Pages I-VII
  2. Ulf Friedrichsdorf
    Pages 1-18
  3. Ulf Friedrichsdorf
    Pages 19-44
  4. Ulf Friedrichsdorf
    Pages 45-88
  5. Ulf Friedrichsdorf
    Pages 89-108
  6. Ulf Friedrichsdorf
    Pages 109-142
  7. Ulf Friedrichsdorf
    Pages 143-158
  8. Ulf Friedrichsdorf
    Pages 159-170
  9. Ulf Friedrichsdorf
    Pages 209-258
  10. Ulf Friedrichsdorf
    Pages 259-272
  11. Ulf Friedrichsdorf
    Pages 273-292
  12. Ulf Friedrichsdorf
    Pages 293-307
  13. Ulf Friedrichsdorf
    Pages 309-331
  14. Back Matter
    Pages 333-356

About this book

Keywords

Beweis Beweistheorie Entwicklung Gödelscher Vollständigkeitssatz Informatik Logik Programmiersprache Prädikatenlogik Satz von Herbrand Semantik Systeme Typentheorie Vollständigkeit mathematische Logik

Authors and affiliations

  • Ulf Friedrichsdorf
    • 1
  1. 1.Fakultät für MathematikUniversität KonstanzKonstanzDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-84990-8
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1992
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-06489-1
  • Online ISBN 978-3-322-84990-8
  • About this book