Troelstra, Anne Sjerp.
Troelstra, A.S. (Anne Sjerp), 1939-
Troelstra, A. S. (Anne Sjerp)
Troelstra, Anne S. 1939-
VIAF ID: 44365390 (Personal)
Permalink: http://viaf.org/viaf/44365390
Preferred Forms
-
100 1 _ ‡a Troelstra, A. S. ‡q (Anne Sjerp)
-
100 1 _ ‡a Troelstra, Anne Sjerp
-
100 1 _ ‡a Troelstra, A.S. ‡q (Anne Sjerp), ‡d 1939-
-
100 1 _ ‡a Troelstra, Anne S. ‡d 1939-
-
100 1 _ ‡a Troelstra, Anne Sjerp
-
200 _ | ‡a Troelstra ‡b Anne Sjerp
-
100 1 _ ‡a Troelstra, Anne Sjerp.
4xx's: Alternate Name Forms (8)
Selected Titles
- Metamathematical investigation of intuitionistic arithmetic and analysis
(8)
- Constructivism in mathematics :
(7)
- Basic proof theory
(7)
- Principles of intuitionism.
(4)
- Lectures on linear logic, 1991:
(4)
- Choice sequences : a chapter of intuitionistic mathematics
(4)
- Intuitionistic general topology.
(3)
- The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
(2)
- Basic proof theory
(2)
- Axioms for intuitionistic mathematics incompatible with classical logic
(2)
