Advertisement

Einführung in die Mathematische Logik

Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung

  • Authors
  • Wolfgang Rautenberg

Table of contents

  1. Front Matter
    Pages I-XII
  2. Wolfgang Rautenberg
    Pages 1-32
  3. Wolfgang Rautenberg
    Pages 33-70
  4. Wolfgang Rautenberg
    Pages 71-104
  5. Wolfgang Rautenberg
    Pages 105-130
  6. Wolfgang Rautenberg
    Pages 131-166
  7. Wolfgang Rautenberg
    Pages 167-206
  8. Wolfgang Rautenberg
    Pages 207-224
  9. Back Matter
    Pages 225-252

About this book

Keywords

Berechenbarkeitstheorie Beweis Modelltheorie Prädikatenlogik mathematische Logik

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-92913-6
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1995
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-06754-0
  • Online ISBN 978-3-322-92913-6
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Telecommunications