
Proof theory and intuitionistic systems
Intuitionistic mathematicsProof theoryIntuitionistische LogikNombres, Théorie desIntuitionnisme (Mathématiques)BeweistheorieZahlentheorieMathematics, methodology
Writing a summary for young readers…
For young readers
Book data: Open Library