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

本书是波兰著名哲学家、逻辑学家塔尔斯基（1902—1983）的一部数理逻辑入门著作。全书分为两部分。第一部分用非严格的形式化方法论述了语句演算、类和关系及演绎方法的基本理论。第二部分论述了逻辑和方法论在构造教学理论中的应用，构造了一个以逻辑为基础的实算术公理系统。本书通过介绍数理逻辑的一些最重要的概念，讨论了数理逻辑的进展和意义，试图在兼顾严格性的同时，为普通读者提供了一个清晰的可理解的现代逻辑思潮观念。