Skip to main content
SpringerLink
Log in

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

  • Book
  • © 1967

Overview

Authors:
  1. Christian Fenske

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

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

Part of the book sub series: Fachgruppe Textilforschung (FT)

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

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages 1-5
    Download chapter PDF

  2. Einleitung

    • Christian Fenske
    Pages 7-8

  3. Boolesche Algebren

    • Christian Fenske
    Pages 9-15

  4. Aussagenlogik

    • Christian Fenske
    Pages 16-26

  5. Praedikatenlogik

    • Christian Fenske
    Pages 27-40

  6. Der Satz von Herbrand und einige Beweisprogramme

    • Christian Fenske
    Pages 41-52

  7. Unser Beweisprogramm

    • Christian Fenske
    Pages 53-67

  8. Back Matter

    Pages 69-74
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

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

    Christian Fenske

Bibliographic Information

  • Book Title: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth

  • Authors: Christian Fenske

  • Series Title: Forschungsberichte des Landes Nordrhein-Westfalen

  • DOI: https://doi.org/10.1007/978-3-322-96252-2

  • Publisher: VS Verlag für Sozialwissenschaften Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Westdeutscher Verlag, Köln und Opladen 1967

  • Softcover ISBN: 978-3-322-96118-1Published: 01 January 1967

  • eBook ISBN: 978-3-322-96252-2Published: 09 March 2013

  • Edition Number: 1

  • Number of Pages: 74

  • Topics: Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation