Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

Term Logic with Choice Operator pp 29Cite as

  1. Home
  2. Term Logic with Choice Operator
  3. Chapter
Some theorems concerning deducibility

Some theorems concerning deducibility

  • Hans Hermes2 
  • Chapter
  • First Online: 06 May 2021
  • 359 Accesses

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

Download chapter PDF

Author information

Authors and Affiliations

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

    Hans Hermes

Authors
  1. Hans Hermes
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and Permissions

Copyright information

© 1970 Springer-Verlag Berlin Heidelberg

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Hermes, H. (1970). Some theorems concerning deducibility. In: Term Logic with Choice Operator. Lecture Notes in Mathematics, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-36203-6_10

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-540-36203-6_10

  • Published: 06 May 2021

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04899-2

  • Online ISBN: 978-3-540-36203-6

  • eBook Packages: Springer Book Archive

Share this chapter

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature