Formal Methods
Subtitle: An Introduction to Symbolic Logic
Publisher: D. Reidel Pub. Co.Gordon and Breach
Published: 1962-01-01
ISBN-13: 9780677000503