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

作者：[波兰]塔尔斯基

页数：259

出版社：商务印书馆

出版日期：2017

ISBN：9787100136396

电子书格式：pdf/epub/txt

内容简介

本书是一本数理逻辑的入门书，全书共分两部分共十章节，具体包括：论变项的用法、论语句演算、类的理论、论演绎方法、关于所构造的理论的方法论的讨论等。