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