Formal Methods
Subtitle: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (Synthese Library)
Edition: 1 edition
Publisher: Springer
Published: July 31, 1970
Language: eng
Format: Hardcover
Number of pages: 188
ISBN-13: 9789027700698
Subjects: Mathematical logic; Logic; Mathematics / Logic; Philosophy / Logic; Mathematics