English Beginner Prolog Experiments in Discrete Mathematics, Logic, and Computability Hein J. L. 2005 مشاهدهٔ کتاب