Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (7 chapters)
Bibliographic Information
Book Title: Formal Methods
Book Subtitle: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Authors: Evert W. Beth
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-94-010-3269-8
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: D. Reidel Publishing Company, Dordrecht, Holland 1962
Hardcover ISBN: 978-90-277-0069-8Published: 31 July 1970
Softcover ISBN: 978-94-010-3271-1Published: 12 October 2011
eBook ISBN: 978-94-010-3269-8Published: 06 December 2012
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: XIV, 170
Topics: Logic