Oosten, Jaap van. <br/><br/>
Realizability  an introduction to its categorical side /  [electronic resource] : 
Jaap van Oosten. 
 - 1st ed. 
 - Oxford :  Elsevier,  2008. 
 - xvi, 310 p. 
 - Studies in logic and the foundations of mathematics ;  152 .
 - Studies in logic and the foundations of mathematics ;  152. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780080560069 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Model theory.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9.7  / .O66 2008