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

• Κύριος συγγραφέας: Beth, Evert Willem (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : D. Reidel, c1962.
• Σειρά: Synthese library
• Θέματα: Λογική, Συμβολική και μαθηματική