القرن العشرين, سويسريون, علماء حاسوب, علماء رياضيات, منطقيونيوليوس ريتشارد بوشي (Julius Richard Büchi)
التحقق من النماذج, المنطق, علوم الحاسوب, نظرية الحوسبةحساب التفاضل والتكامل المودي (Modal μ-calculus)