302EDU
2020 2019 2018 2017 2015 2014 2012 2011 2007 2006 全部
搜索分类
集合论含有原子的自然模型和布尔值模型

本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证...

2011.3

按出版社分类
按标签分类

版权声明：本网站所有资源来源于网络，著作权及版权归原作者所有。本网站尊重并保护知识产权，根据《信息网络传播权保护条例》，如果我们转载的作品侵犯了您的权利，请在一个月内通知我们，我们会及时删除。