Propositional and predicate calculus : a model of argument /

Ähnliche Einträge

• Non-classical propositional calculi
  von: McCall, S, et al.
  Veröffentlicht: (1964)
• The computational complexity of logical theories /
  von: 366280 Ferrante, Jeanne, et al.
  Veröffentlicht: (1979)
• Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings /
  von: SAT 2007 (2007 : Lisbon, Portugal), et al.
  Veröffentlicht: (2007)
• Elementary set theory : proof techniques proof techniques /
  von: 365632 Gordon, Carl E., et al.
  Veröffentlicht: (1975)
• Calculus /
  von: 413811 Grossman, Stanley I.
  Veröffentlicht: (1981)