Advertisement

Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth

  • Christian Fenske

Part of the Forschungsberichte des Landes Nordrhein-Westfalen book series (FOLANW, volume 1740)

Table of contents

  1. Front Matter
    Pages 1-5
  2. Christian Fenske
    Pages 7-8
  3. Christian Fenske
    Pages 9-15
  4. Christian Fenske
    Pages 16-26
  5. Christian Fenske
    Pages 27-40
  6. Christian Fenske
    Pages 53-67
  7. Back Matter
    Pages 69-74

About this book

Keywords

Algebra Aussagenlogik Beweis Logik Prädikatenlogik

Authors and affiliations

  • Christian Fenske
    • 1
  1. 1.Rhein.-Westf. Institut für Instrumentelle Mathematik Bonn (IIM)Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-96252-2
  • Copyright Information Springer Fachmedien Wiesbaden GmbH 1967
  • Publisher Name VS Verlag für Sozialwissenschaften, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-322-96118-1
  • Online ISBN 978-3-322-96252-2
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences