Rethinking the discovery function of proof within the context of proofs and refutations
Crossref DOI link: https://doi.org/10.1080/0020739X.2014.902135
Published Online: 2014-04-03
Published Print: 2014-10-03
Update policy: https://doi.org/10.1080/tandf_crossmark_01
Komatsu, Kotaro
Tsujiyama, Yosuke
Sakamaki, Aruta
Peer Review Statement: The publishing and review policy for this title is described in its Aims & Scope.
Aim & Scope: http://www.tandfonline.com/action/journalInformation?show=aimsScope&journalCode=tmes20
