逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性

作者姓名：	杨安洲

摘要：	在这篇文章中我们提出并且证明了L(Wl,W)的(≤W1 infinite)-紧性.
关键词：	自由布尔代数谓词代数逻辑系统 L(wl,w)
本文献已被万方数据等数据库收录！