三值逻辑的Craig中插定理与Herbrand定理

---

Autoria(s): 李祥; 李广元

Data(s)	2003
Identificador	http://ir.iscas.ac.cn/handle/311060/5076 http://www.irgrid.ac.cn/handle/1471x/67022
Fonte	李祥; 李广元.三值逻辑的Craig中插定理与Herbrand定理,贵州大学学报(自然科学版),2003,20(1):
Palavras-Chave	#3值逻辑 #Craig定理 #Herbrand定理
Tipo	期刊论文