APA Style

Troelstra, A, S. (1977). Choice Sequences: A Chapter of Intuitionistic Mathematics (Not available). Oxford: Clarendon Press, Oxford University Press.

MLA Style

Troelstra, A., S. "Choice Sequences: A Chapter of Intuitionistic Mathematics". Not available Oxford: Clarendon Press, Oxford University Press, 1977. BOOK.