Yves Nievergelt (1954 – present) Participations: گسترشها Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications 2015 author Yves Nievergelt Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography 2001 author Yves Nievergelt