Логикалық өрнектерді формальды түрлендіру мүмкіндіктерін енгізген кім?
1
А. Тьюринг
2
Г. Лейбниц
3
Дж. Буль
4
Ч. Бэббидж
5
Н. Винер