Advertisement

© 1965

Eine Termlogik mit Auswahloperator

  • Authors
Book
  • 3.2k Downloads

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

About this book

Keywords

Beweis Morphismus Prädikatenlogik Variable

Bibliographic information

  • Book Title Eine Termlogik mit Auswahloperator
  • Authors Hans Hermes
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0097721
  • Copyright Information Springer-Verlag 1965
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-03350-9
  • eBook ISBN 978-3-540-69980-4
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages , 0
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematics, general
  • Buy this book on publisher's site
Industry Sectors
Aerospace
Automotive
Finance, Business & Banking