单项选择题

下列属于国内第一本公开出版的法律逻辑教材是()。

A.《形式逻辑(供法律专业用)》(西南政法学院编·1980年)
B.《法律专业逻辑学》(政法五院合编·1981年)
C.《法律逻辑学》(吴家麟主编·1983年)
D.《办案逻辑》(阳作洲等编·1987年)