Skip to main content

Ein Kalkül für die Termlogik

  • 286 Accesses

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Rights and permissions

Reprints and Permissions

Copyright information

© 1965 Springer-Verlag

About this chapter

Cite this chapter

(1965). Ein Kalkül für die Termlogik. In: Eine Termlogik mit Auswahloperator. Lecture Notes in Mathematics, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0097727

Download citation

  • DOI: https://doi.org/10.1007/BFb0097727

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-03350-9

  • Online ISBN: 978-3-540-69980-4

  • eBook Packages: Springer Book Archive