逻辑与演绎科学方法论导论
认领
0粉丝
本书是波兰著名哲学家、逻辑学家塔尔斯基（1902—1983）的一部数理逻辑入门著作。全书分为两部分。第一部分用非严格的形式化方法论述了语句演算、类和关
简介
本书是波兰著名哲学家、逻辑学家塔尔斯基（1902—1983）的一部数理逻辑入门著作。全书分为两部分。第一部分用非严格的形式化方法论述了语句演算、类和关系及演绎方法的基本理论。第二部分论述了逻辑和方法论在构造教学理论中的应用，构造了一个以逻辑为基础的实算术公理系统。本书通过介绍数理逻辑的一些最重要的概念，讨论了数理逻辑的进展和意义，试图在兼顾严格性的同时，为普通读者提供了一个清晰的可理解的现代逻辑思... 更多
属性
出版社
商务印书馆
ISBN
9787100005203
出版年
1963-4-1
装帧
平装
价格
21.00元
页数
258
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%