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

類似資料

• Formal logic /
  出版事項: (2017)
• Systems of formal logic /
  著者:: Hackstaff, L. H.
  出版事項: (1966)
• Symbolic logic /
  著者:: Copi, Irving M.
  出版事項: (1973)
• Symbolic logic /
  著者:: Copi, Irving M.
  出版事項: (1979)
• Symbolic logic /
  著者:: Copi, Irving M.
  出版事項: (2015)