Proof theory and intuitionistic systems
by Bruno Scarpellini · 1971
No description available.
Intuitionistic mathematicsProof theoryIntuitionistische LogikNombres, Théorie desIntuitionnisme (Mathématiques)BeweistheorieZahlentheorieMathematics, methodologyMathematics