TY  - BOOK
AU  - Troelstra A S
TI  - Choice sequences :  A chapter of instuitionistic mathematics.     
U1  - R14, L7 
PY  - 1977///
CY  - Oxford
PB  - Clarendon Press      
ER  -