B001498　逻辑与演绎科学方法论导论

---

[美]塔尔斯基著。周礼全等译。商务印书馆1963年3月版。21．3万字。分两部分。第一部分，逻辑的元素，演绎方法。论述变项的用法、语句演算、同一理论、类的理论、关系的理论和演绎方法。第二部分，逻辑和方法论在构造数学理论中的应用。论述数学理论的构造(即数的次序的定律和加法与减法的定律)、关于所构造的理论和方法论、所构造的理论的扩充(即实数算术的基础)。每一小节后都有练习。中译本根据牛津大学出版社1946年英文版译出。收入“汉译世界学术名著丛书”。