Advertisement

© 1965

Term Logic with Choice Operator

Book

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

Table of contents

  1. Front Matter
    Pages i-v
  2. Hans Hermes
    Pages 21-23
  3. Hans Hermes
    Pages 24-25
  4. Hans Hermes
    Pages 26-28
  5. Hans Hermes
    Pages 29-29
  6. Hans Hermes
    Pages 30-36
  7. Hans Hermes
    Pages 47-51
  8. Back Matter
    Pages 53-55

About this book

Keywords

Auswahloperator Choice Mathematische Logik calculus predicate logic proof theorem variable

Authors and affiliations

  1. 1.Abteilung für math. Logik und Grundlagen der MathematikUniversität Freiburg i. Br., Math. InstitutGermany

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
  • Copyright Information Springer-Verlag Berlin Heidelberg 1965
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-04899-2
  • eBook ISBN 978-3-540-36203-6
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages VI, 46
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Additional Information Revised and enlarged translation of the original German edition with the title: Eine Termlogik mit Auswahloperator
  • Topics Mathematics, general
  • Buy this book on publisher's site
Industry Sectors
Aerospace
Automotive
Finance, Business & Banking