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
• Θέματα: Λογική, Συμβολική και μαθηματική
• Περιγραφή τεκμηρίου: Περιέχει ευρετήριο.
• Φυσική περιγραφή: 170 σ. ; 23 εκ.