Troelstra, A. S. <br/><br/>
Choice sequences:  a chapter of intuitionistic mathematics/ 
by A. S. Troelstra. 
 - Oxford:  Clarendon Press,  1977. 
 - ix, 170 p. ;  25 cm. 
 - Oxford logic guides .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. [161]-167. 
<br/><br/><label>ISBN: </label>019853163X :  ª4.95 
<br/><br/><label>LCCN: </label>77366152 //r85 
<br/><br/><label>Nat. Bib. No.: </label>GB*** 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics.<br/>Sequences (Mathematics)
<br/><br/><label>Dewey Class. No.: </label>511.3  / T843c