高次論理学

【こうじろんりがく】

高次論理学

读成： こうじろんりがく
中文： 元逻辑