Constructions, Proofs and the Meaning of the Logical Constants