This VIAF Cluster has been deleted. It is no longer part of VIAF.
Troelstra, A.S. | Choice sequences : a chapter of intuitionistic mathematics
VIAF ID: 315044848 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/315044848
Preferred Forms
4xx's: Alternate Name Forms (1)
Selected Titles
Author
:
Troelstra, A. S.