TY  - BOOK
AU  - Oosten, Jaap van,
TI  - Realizability: an introduction to its categorical side 
T2  - Studies in logic and the foundations of mathematics
SN  - 9780444515841 (encuadernado)
AV  - QA9.25 O67
PY  - 2008///
CY  - Amsterdam
PB  - Elsevier
KW  - Lógica simbólica y matemática
ER  -