Skip to main content
SpringerLink
Log in

Einführung in die Mathematische Logik

Teil II Prädikatenkalkül der Ersten Stufe

  • Textbook
  • © 1972

Overview

Authors:
  1. Günter Asser

    1. Sektion Mathematik, Ernst-Moritz-Arndt-Universität Greifswald, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Mathematisch-Naturwissenschaftliche Bibliothek (MNB, volume 19)

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.95
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 (11 chapters)

  1. Front Matter

    Pages I-V
    Download chapter PDF

  2. Attribute und Quantifizierungsfunktionen

    • Günter Asser
    Pages 1-10

  3. Ausdrücke Einer Elementaren Sprache

    • Günter Asser
    Pages 10-22

  4. Interpretation der Ausdrücke Einer Elementaren Sprache

    • Günter Asser
    Pages 22-50

  5. Reduktions- und Repräsentantentheoreme

    • Günter Asser
    Pages 50-68

  6. Das Logische Folgern

    • Günter Asser
    Pages 68-78

  7. Ableitbarkeit und Beweisbarkeit

    • Günter Asser
    Pages 78-89

  8. Grundlegende Gesetze der Prädikatenlogik

    • Günter Asser
    Pages 89-113

  9. Die Axiomatisierungstheoreme für den Prädikatenkalkül der Ersten Stufe

    • Günter Asser
    Pages 114-135

  10. Prädikatenlogische Normalformen

    • Günter Asser
    Pages 135-157

  11. Der Bestimmte Artikel

    • Günter Asser
    Pages 158-164

  12. Elementare Theorien

    • Günter Asser
    Pages 164-169

  13. Back Matter

    Pages 170-190
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Sektion Mathematik, Ernst-Moritz-Arndt-Universität Greifswald, Deutschland

    Günter Asser

Bibliographic Information

  • Book Title: Einführung in die Mathematische Logik

  • Book Subtitle: Teil II Prädikatenkalkül der Ersten Stufe

  • Authors: Günter Asser

  • Series Title: Mathematisch-Naturwissenschaftliche Bibliothek

  • DOI: https://doi.org/10.1007/978-3-322-91274-9

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1972

  • Softcover ISBN: 978-3-322-00718-6Published: 01 September 1975

  • eBook ISBN: 978-3-322-91274-9Published: 02 July 2013

  • Series ISSN: 0465-3769

  • Edition Number: 2

  • Number of Pages: V, 190

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation