01536nam a2200397Ia 4500 EBC331886 MiAaPQ 20250821102900.0 m o d | cr cnu|||||||| 071023s2008 enk ob 001 0 eng d 9780080560069 (electronic bk.) 9780444515841 (print) (MiAaPQ)EBC331886 (Au-PeEL)EBL331886 (CaPaEBR)ebr10216693 (CaONFJC)MIL116508 (OCoLC)476131562 MiAaPQ eng rda pn MiAaPQ MiAaPQ QA9.7 .O66 2008 Oosten, Jaap van. 154883 Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten. 1st ed. Oxford : Elsevier, 2008. xvi, 310 p. Studies in logic and the foundations of mathematics ; 152 Includes bibliographical references and index. Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Logic, Symbolic and mathematical. 154884 Model theory. 154885 Electronic books. 35142 ProQuest (Firm) 154886 ProQuest (Firm) Studies in logic and the foundations of mathematics ; 152. 154887 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=331886 Click to View 241201 241201