单项选择题

A、数学逻辑
B、数理逻辑
C、抽象的逻辑
D、直觉主义逻辑