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