ردهها نبیگ Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications (2015) برابر انگلیک (انگلیسی): Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications دستاندرکاران: گسترشها Yves Nievergelt (1954 – present)