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