数理逻辑

莫绍揆等著1984 年出版250 页ISBN：13010·01025

元数学导论 下

（美）克林（Kleene，S.C.）著；莫绍揆译1984 年出版688 页ISBN：13031·2717

书名原文:Introductiontometamathematics.

数理逻辑漫谈

莫绍揆编著1980 年出版80 页ISBN：13195·35

递归函数论

培特（R.Peter）著；莫绍揆译1958 年出版258 页ISBN：13031·826

数学基础

莫绍揆编著1991 年出版336 页ISBN：7040026600

本书对数学各科中凡牵涉到基础问题的部分汇聚起来，从数理逻辑的角度加以分析、检讨，作了系统介绍。

数学名著译丛 元数学导论 上

（美）克林（S.C.Kleene）著;莫绍揆译1984 年出版234 页ISBN：13031·2717

逻辑代数和电子计算机简介

莫绍揆，汪灵华著1983 年出版245 页ISBN：7100·262

形式语言及其与自动机的关系

（美）霍普克罗夫特（J.E.Hopcroft），（美）厄尔曼（J.D.Ullman）著；莫绍揆等译1979 年出版316 页ISBN：15031·231

可计算性理论

莫绍揆，王元元著1987 年出版335 页ISBN：7030000617

本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...

数理逻辑基础

（德）希尔柏脱（D.Hilbert），（德）阿克曼（W.Ackermann）著；莫绍揆译1958 年出版200 页ISBN：13031·750

本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......