functional calculus
英 ˈfʌŋkʃənəl ˈkælkjələs
基本释义
谓词演算
16 次浏览