Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /

• Main Author: Beth, Evert Willem (συγγραφέας.)
• Format: Book
• Language: English
• Published: Dordrecht : D. Reidel, c1962.
• Series: Synthese library
• Subjects: Λογική, Συμβολική και μαθηματική