00969nam a2200253 a 4500 vtls000041041 KUKTEM 20251117145505.0 090804t2008 enk f b 001 0 eng d 9780444515841 0444515844 201107132159 VLOAD 201004191536 jamee 200908141653 VLOAD 200908141636 VLOAD 200908041205 shah UMP QA9.25 .O67 2008 Oosten, Jaap Van. 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 Includes bibliographical references and index Logic, Symbolic and mathematical Studies in logic and the foundations of mathematics 0 0 0 0 10000 10000 2019-09-04 530.10 0 QA9.25 .O67 2008 0000044643 2019-09-04 00:00:00 1 530.10 2019-09-04 OPEN VIRTUA40 47340 47346 VTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*4900*5040*6500*8300*9991