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