Mechanizing logic I : map logic extended formally to relational arguments ; &, Mechanizing logic II : automated map logic method for relational arguments on paper and by computer /

類似資料

• Map logic : and other extensions of traditional logic /
  著者:: Rybak, John S. (John Sydney)
  出版事項: (1973)
• Formal logic /
  著者:: De Morgan, Augustus, 1806-1871
  出版事項: (1926)
• Logical papers /
  著者:: Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716
  出版事項: (1966)
• Logic /
  著者:: Earle, Nick, 1926-
  出版事項: (1973)
• Informal logic.
  著者:: Kenelly, John W.
  出版事項: (1967)