Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (15 chapters)
-
Front Matter
-
Back Matter
Keywords
- Auswahloperator
- Choice
- Mathematische Logik
- calculus
- predicate logic
- proof
- theorem
- variable
Authors and Affiliations
-
Abteilung für math. Logik und Grundlagen der Mathematik, Universität Freiburg i. Br., Math. Institut, Germany
Hans Hermes
Bibliographic Information
Book Title: Term Logic with Choice Operator
Authors: Hans Hermes
Series Title: Lecture Notes in Mathematics
DOI: https://doi.org/10.1007/978-3-540-36203-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1970
Softcover ISBN: 978-3-540-04899-2Published: 01 January 1970
eBook ISBN: 978-3-540-36203-6Published: 09 November 2013
Series ISSN: 0075-8434
Series E-ISSN: 1617-9692
Edition Number: 1
Number of Pages: III, 59
Additional Information: Revised and enlarged translation of the original German edition with the title: Eine Termlogik mit Auswahloperator
Topics: Mathematics