Report copyright - Platonism with a Flavor of Constructivismmasahiko/papers/...Motivation (cont.) Proofs and propositions as mathematical objects are to be considered here. Some previous attempts: Constructive
Please pass captcha verification before submit form