کتاب زبان اصلی In the Light of Logic  اثر Solomon Feferman   کتاب In the Light of Logic اثر Solomon Feferman یک مطالعه عمیق و جامع است که به بررسی و بحث در مورد ارتباط بین منطق و روش های محاسباتی در فلسفه می پردازد این کتاب توسط انتشارات Oxford University Press در سال 1998 منتشر شده است و به عنوان یکی از کتابهای موفق در زمینه فلسفه محاسباتی شناخته می شود نویسنده این کتاب Solomon Feferman نیز کتابهای دیگری نظیر The Collected Works of Solomon Feferman و Conceptual Foundations of Mathematics را نیز نوشته است