This VIAF Cluster has been deleted. It is no longer part of VIAF.
Troelstra, A. S. | Metamathematical investigation of intuitionistic arithmetic and analysis
VIAF ID: 314441392 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314441392
Preferred Forms
4xx's: Alternate Name Forms (1)
Selected Titles
Author
:
Troelstra, A. S.