CHINESE

数理逻辑漫谈

By 莫绍揆

Book information

Publisher
山东科学技术出版社
Year
1980
Language
chinese
Format
PDF
Filesize
3 MB (3527523 bytes)
Pages
80\86
Time added
2021-02-10 10:37:30

Description

书名 前言 目录 一 数理逻辑简史 二 数理逻辑的性质 三 数理逻辑的主要内容 四 一些基本概念的讨论 关于符号的使用 关于函数的概念 关于约束词（算子） 关于推导过程 五 研究数理逻辑的一些有关问题

Similar books