单项选择题

()开创了抽象逻辑

A、莱布尼茨
B、海丁
C、普里斯特列
D、彭加勒