کتاب زبان اصلی Realizability اثر Jaap van Oosten کتاب Realizability An Introduction to its Categorical Side واقع گرایی معرفی جنبه های طبقه بندی شده آن نوشته یاپ فن اوستن کتابی است که در سال 2008 منتشر شده و به معرفی مفهوم واقع گرایی و کاربردهای آن در نظریه های محاسباتی و منطق ریاضی می پردازد این کتاب با رویکردی طبقه بندی شده مباحثی چون مدل های واقع گرایی واقع گرایی برای زبان های برنامه نویسی نظریه های نوع دار و واقع گرایی طبقه بندی شده را پوشش می دهد یاپ فن اوستن استاد دانشگاه آمستردام و از محققان برجسته در حوزه منطق ریاضی و نظریه های محاسباتی است این کتاب به عنوان منبع درسی مناسبی برای دانشجویان تحصیلات تکمیلی محسوب می شود   x000D   x000D