van benthem

网络释义

1.	荷兰逻辑学家范本瑟姆然后再定义相应的函项运算。按照荷兰逻辑学家范本瑟姆(Van Benthem)的方式，函项范畴对主目范畴的运算表述为等式定义： www.dic123.com\|基于 1 个网页

释义:

全部全部,荷兰逻辑学家范本瑟姆荷兰逻辑学家范本瑟姆

类别:全部全部,口语口语,书面语书面语,标题标题,技术技术

来源:全部全部,字典字典,网络网络

难度:全部全部,简单简单,中等中等,难难

更多例句筛选

收起例句筛选

F . Liu: Interview with Johan van Benthem -- A Life of Logic , Language , and Information, Philosophical Trends, No. 4, 2004.

F . Liu, X. Liu and J. Yu: A Dialogue between Author and Translators --Interview with Johan van Benthem, Philosophical Trend, No. 1, 2008