Eine Termlogik mit Auswahloperator

  • Hans Hermes

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

Table of contents

  1. Front Matter
    Pages i-iii
  2. Hans Hermes
    Pages 1-3
  3. Hans Hermes
    Pages 4-6
  4. Hans Hermes
    Pages 7-9
  5. Hans Hermes
    Pages 17-20
  6. Hans Hermes
    Pages 24-25
  7. Hans Hermes
    Pages 26-27
  8. Hans Hermes
    Pages 28-34
  9. Hans Hermes
    Pages 47-51
  10. Back Matter
    Pages 40-42

About this book

Keywords

Auswahloperator Choice Mathematische Logik calculus predicate logic proof theorem variable

Authors and affiliations

  • Hans Hermes
    • 1
  1. 1.Institut für mathematische Logik und GrundlagenforschungUniversität MünsterDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-36203-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1965
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-04899-2
  • Online ISBN 978-3-540-36203-6
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences