search

retzzz / gitment-comments

0 stars 0 forks source link

A Mathematical Introduction to Logic -- Table of Contents | Mingjian's Blog #25

Open retzzz opened 2 years ago

retzzz commented 2 years ago

https://retzzz.github.io/edd6b774/

(\def\Indent{\quad\quad}) 这是一个关于数理逻辑的读书笔记或者学习总结, 书名是A Mathematical Introduction to Logic (以下简称AMIL), 作者Herbert B. Enderton, University of California