论文信息 - On Direct Products of Theories - 字舞流文

On Direct Products of Theories

[1] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[2] Alfred Tarski. Grundzüge des Systemenkalküls II , 1936 .

[3] Alonzo Church,et al. Introduction to Mathematical Logic. Part I , 1944 .

[4] Julia Robinson,et al. Definability and decision problems in arithmetic , 1949, Journal of Symbolic Logic.

[5] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .