Börger is a pioneer of applying logical methods in computer science.
أصبح بورجر رائداً في تطبيق الطرق المنطقية في علوم الكمبيوتر.