Skip to main content
  • Book
  • © 1965

Eine Termlogik mit Auswahloperator

Authors:

Part of the book series: Lecture Notes in Mathematics (LNM)

  • 3437 Accesses

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

Keywords

  • Beweis
  • Morphismus
  • Prädikatenlogik
  • Variable

Bibliographic Information

  • Book Title: Eine Termlogik mit Auswahloperator

  • Authors: Hans Hermes

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1965

  • eBook ISBN: 978-3-540-69980-4Published: 17 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Topics: Mathematics