Troelstra A S <br/><br/>
Choice sequences    A chapter of instuitionistic mathematics.      

 - Oxford  Clarendon Press        1977 
 - ix,170p.  cm. 
<br/><br/><label>Standard No.: </label>44658 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>R14, L7