功能逻辑•查询和类比•11
高阶命题( n个 =1）
巴布亚新几内亚2.0
巴布亚新几内亚1.0
功能逻辑•查询和类比•12
高阶命题的解释范畴( n个 = 1)
PNG 2.0格式
巴布亚新几内亚1.0
功能逻辑•查询和类比•13
高阶命题( n个 = 2)
巴布亚新几内亚2.0
巴布亚新几内亚1.0
