10yr Zhen
cover

Book

数理逻辑
Douban
王兵山 / 张强 … publishing house: 国防科技大学出版社 1993
数理逻辑教材

读过《数理逻辑》 🌕🌕🌕🌑🌑
能看懂才是鬼了，这种只能听课。