Natural heuristics for proof construction. Part l: classical propositional logic.

Diderik Batens

Abstract


Without abstract

Full Text:

PDF

Refbacks

  • There are currently no refbacks.