APA Style
Troelstra, A, S. (1977).
Choice Sequences: A Chapter of Intuitionistic Mathematics (Not available).
Oxford:
Clarendon Press.
MLA Style
Troelstra, A., S..
"Choice Sequences: A Chapter of Intuitionistic Mathematics".
Not available
Oxford:
Clarendon Press,
1977.
BOOK.