Skip to main content

Gleichwertigkeit von # und ⊢. Korrektheit der Regeln

  • 283 Accesses

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

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

Rights and permissions

Reprints and Permissions

Copyright information

© 1965 Springer-Verlag *** DIRECT SUPPORT *** A00J4005 00002

About this chapter

Cite this chapter

(1965). Gleichwertigkeit von # und ⊢. Korrektheit der Regeln. In: Eine Termlogik mit Auswahloperator. Lecture Notes in Mathematics, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0097728

Download citation

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

  • 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