Yves Nievergelt

(1954 – present)
برابر انگلیک (انگلیسی): Yves Nievergelt

انبازی‌ها:

گسترش‌ها
Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications
2015
داتار
Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography
2001
داتار


تاربرگ‌های پیموده‌شده در این نشست: The completeness of the axioms of the logical function calculus کم‌زور‌سازی پنداشت ارستو از هستی کاژیمیش کوراتوفسکی گویایی E Modal Axiom 5