Logic and Structure - 3. 完備性

•  哲學
•  邏輯學
•  van-dalen-logic-and-structure