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

Author(s)

• Beth, Evert Willem

Bibliographic Information

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

Evert Willem Beth

（Synthese library）

D. Reidel Publishing Co., 1962

Note

Includes bibliography

Details

• NCID: BA02011781
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht, Holland
• Pages/Volumes: xiv, 170 p.
• Size: 23 cm
• Classification:
  • LCC : BC135
  • DC : 164
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00017801