Oosten, Jaap Van. <br/><br/>
Realizability :  an introduction to its categorical side / 
Jaap van Oosten 
 - Oxford :  Elsevier,  c2008 
 - xvi, 310 p. ;  24 cm. 
 - Studies in logic and the foundations of mathematics .
 - Studies in logic and the foundations of mathematics .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780444515841 0444515844 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical