The Gallery
Constructivism (mathematics)
Anne Sjerp Troelstra
John Corcoran
1