A note on Hajek, Paris and Shepherdson's theorem期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

A note on Hajek, Paris and Shepherdson's theorem

Authors:	Yatabe Shunsuke

Affiliation:	Department of Computer and System Engineering, Kobe University, Rokko-dai, Nada-ku, Kobe 657-8501, Japan. E-mail: yatabe{at}kurt.scitec.kobe-u.ac.jp

Abstract:

Keywords:	/math/Lstrok.gif" ALT=" L" BORDER=" 0" >ukasiewicz's infinite-valued predicate logic set theory the comprehension principle truth predicate non-standard natural number
本文献已被 Oxford 等数据库收录！