Affiliation:
1. Department of Computer Science, Stanford University, Stanford, California
Abstract
A formal theory is described which incorporates the “assignment” function
a
(
i
,
k
,
ξ
) and the “contents” function
c
(
i
,
ξ
). The axioms of the theory are shown to comprise a complete and consistent set.
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference2 articles.
1. MENDELSON E. Introduction to Mathematical Logic. Van Nostrand Princeton N. J. 1964. MENDELSON E. Introduction to Mathematical Logic. Van Nostrand Princeton N. J. 1964.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献