Skip to main content
  • Book
  • © 1970

Term Logic with Choice Operator

Authors:

Part of the book series: Lecture Notes in Mathematics (LNM, volume 6)

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 chapters)

  1. Front Matter

    Pages i-v
  2. A term calculus

    • Hans Hermes
    Pages 21-23
  3. Soundness of the rules

    • Hans Hermes
    Pages 24-25
  4. Survey of the completeness proof

    • Hans Hermes
    Pages 26-28
  5. Some theorems concerning deducibility

    • Hans Hermes
    Pages 29-29
  6. Substitution

    • Hans Hermes
    Pages 30-36
  7. Details of the proof

    • Hans Hermes
    Pages 47-51
  8. Back Matter

    Pages 53-55

Keywords

  • Auswahloperator
  • Choice
  • Mathematische Logik
  • calculus
  • predicate logic
  • proof
  • theorem
  • variable

Authors and Affiliations

  • Abteilung für math. Logik und Grundlagen der Mathematik, Universität Freiburg i. Br., Math. Institut, Germany

    Hans Hermes

Bibliographic Information

  • Book Title: Term Logic with Choice Operator

  • Authors: Hans Hermes

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/978-3-540-36203-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1970

  • Softcover ISBN: 978-3-540-04899-2Published: 01 January 1970

  • eBook ISBN: 978-3-540-36203-6Published: 09 November 2013

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: III, 59

  • Additional Information: Revised and enlarged translation of the original German edition with the title: Eine Termlogik mit Auswahloperator

  • Topics: Mathematics

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions