Constructive Proof Theory
Construction of Proofs
Fire-Proof Construction.—II
Constructions, Proofs of Existence
Reducing Proof-Construction Time
Introduction to Constructive Proof
Construction, Figure & Proof
Constructive Proofs and Algorithms
Programming using constructive proofs
Negotiating Arithmetic, Constructing Proof