共 50 条
- [27] Tracking Reason: Proof, Consequence, and Truth PHILOSOPHICAL REVIEW, 2008, 117 (02): : 296 - 299
- [28] Truth versus validity in mathematical proof ZDM-MATHEMATICS EDUCATION, 2008, 40 (03): : 373 - 384
- [29] Truth values algebras and proof normalization TYPES FOR PROOFS AND PROGRAMS, 2007, 4502 : 110 - 124