? [4]A. Lindenbaum and A. Tarski(1936),\”On the Limitations of the Means of Expression of Deductive Theories\”, in Tarski 1983.
? [5]F. I. Mautner(1946),\”An Extension of Klein\’s Erlanger Programm: Logic as an Invariant Theory\”, in American Journal of Mathematics, 68(1946).
? [6]J. S. Silva(1945),\”On Automorphisms of Arbitrary Mathematical Systems\”, English trans, by A. J. F. de Oliveira, in History and Philosophy of Logic, 6(1985).
? [7]A. Tarski(1935a),\”The Concept of Truth in Formalized Languages\”, in Tarski 1983.
? [8]A. Tarski(1935b),\”Some Methodological Investigations on the Definability of Concepts\”, in Tarski 1983.
? [9]A. Tarski(1936),\”On the Concept of Logical Consequence\”, in Tarski 1983.
? [10]A. Tarski(1969),\”Truth and Proof\”, in Scientific American 220, no. 6.
? [11]A. Tarski(1983), Logic, Semantics, Metamathematics, 1[st] ed. (ed. and trans. Woodger, J. H.), Clarendon Press, 1956.
? [12]A. Tarski and S. Givant(1987), A Formalization of Set Theory Without Variables, American Mathematical Society.
? [13]H. Weyl(1949), Philosophy of Mathematics and Natural Science, Princeton University Press, p. 73.
? [14]A. Whitehead and B. Russell(1910), Principia Mathematica, vol. 1, Cambridge University Press.
关注微信：DuoDaaMath每天获得更多数学趣文
新浪微博：http://weibo.com/duodaa
推荐阅读
- 梦幻模拟战兑换码10月8日 梦幻模拟战手游2022年10月8日最新兑换码分享
- 跷二郎腿会影响健康为什么 常常跷二郎腿会影响健康码
- 使命召唤19密码箱密码分享-密码箱怎么开
- 拖鞋尺码比平时穿的大还是小
- 迷你世界10月8日激活码 迷你世界2022年10月8日礼包兑换码
- 斗罗大陆魂师对决10月8日礼包码 斗罗大陆魂师对决礼包码10月最新
- 斗罗大陆10月8日礼包码 斗罗大陆h5兑换码礼包码10月8日最新
- 乳品是什么意思 乳品
- 王者荣耀鬼谷子皮肤兑换码 王者荣耀鬼谷子皮肤兑换码怎么获得
- 绿码在什么情况下会变色