Solution of a problem of Leon Henkin 论文

1955Journal of Symbolic Logic引用 302
DOI
Philosophy and Theoretical ScienceHistory and Theory of MathematicsComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsHistory and Theory of MathematicsPhilosophy and Theoretical Science
相关技术:Computability, Logic, AI Algorithms
关系图谱

Solution of a problem of Leon Henkin · 作者

M

M. Lob