Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography (2001) برابر انگلیک (انگلیسی): Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography دستاندرکاران: گسترشها Yves Nievergelt (1954 – present)