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