逻辑与演绎科学方法论导论（120年珍藏本）

定　价：¥88.00

作　者：	Alfred Tarski
出版社：	商务印书馆
丛编项：
标　签：	暂缺

购买这本书可以去

当当网 (¥88.00)

ISBN：	9787100148382	出版时间：	2017-12-01	包装：	精装
开本：	16开	页数：		字数：

内容简介

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