This VIAF Cluster has been deleted. It is no longer part of VIAF.
Troelstra, A.S. (Anne Sjerp), 1939-. | Basic Proof Theory
VIAF ID: 314421579 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314421579
Preferred Forms
Selected Titles
Author
:
Troelstra, A.S.