单项选择题

在1854年,()提出逻辑代数体系。

A.George Boole
B.Charles Babbage
C.John V.Atanasoff
D.Kack kilby