Oosten, Jaap van, <br/><br/>
Realizability :  an introduction to its categorical side / 
Jaap van Oosten 
 - xvi, 310 páginas 
 - Studies in logic and the foundations of mathematics ;  152 .
<br/><br/><label>ISBN: </label>9780444515841 (encuadernado) 0444515844 (encuadernado) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA9.25  / O67