Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (Synthese Library)

by E.W. Beth Hardcover details (United States). (see also: eBook (Kindle)) details (United Kingdom). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-90-277-0069-8 ISBN-10: 90-277-0069-9 Springer · 1970