Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 chapters)
Keywords
Authors and Affiliations
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, general