Skip to main content
  • Book
  • © 1992

Einführung in die klassische und intensionale Logik

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (13 chapters)

  1. Front Matter

    Pages I-VII
  2. Mengen, Relationen und Funktionen

    • Ulf Friedrichsdorf
    Pages 1-18
  3. Aussagenlogik

    • Ulf Friedrichsdorf
    Pages 19-44
  4. Modale Aussagenlogik

    • Ulf Friedrichsdorf
    Pages 45-88
  5. Varianten der modalen Aussagenlogik

    • Ulf Friedrichsdorf
    Pages 89-108
  6. Grundbegriffe der Prädikatenlogik

    • Ulf Friedrichsdorf
    Pages 109-142
  7. Normalformen und der Satz von Herbrand

    • Ulf Friedrichsdorf
    Pages 143-158
  8. Der Gödelsche Vollständigkeitssatz

    • Ulf Friedrichsdorf
    Pages 159-170
  9. Einige modelltheoretische Begriffe und Sätze

    • Ulf Friedrichsdorf
    Pages 209-258
  10. Modale Prädikatenlogik

    • Ulf Friedrichsdorf
    Pages 259-272
  11. Dynamische Prädikatenlogik

    • Ulf Friedrichsdorf
    Pages 273-292
  12. Höherstufige Prädikatenlogik

    • Ulf Friedrichsdorf
    Pages 293-307
  13. Typentheorie

    • Ulf Friedrichsdorf
    Pages 309-331
  14. Back Matter

    Pages 333-356

Authors and Affiliations

  • Fakultät für Mathematik, Universität Konstanz, Konstanz, Deutschland

    Ulf Friedrichsdorf

About the author

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.

Bibliographic Information

  • Book Title: Einführung in die klassische und intensionale Logik

  • Authors: Ulf Friedrichsdorf

  • DOI: https://doi.org/10.1007/978-3-322-84990-8

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1992

  • Softcover ISBN: 978-3-528-06489-1Published: 01 January 1992

  • eBook ISBN: 978-3-322-84990-8Published: 02 July 2013

  • Edition Number: 1

  • Number of Pages: VIII, 354

  • Number of Illustrations: 4 b/w illustrations

  • Topics: Mathematical Logic and Foundations, Logics and Meanings of Programs, Engineering, general

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access