Intuitionistische Axiomatiek der projektieve Meetkunde (1925)

by Arend Heyting