读过《Mathematical Logic, Revised Edition》 🌕🌕🌕🌕🌕
要理解ML的动机还是要先理解NBG……
Book
Mathematical Logic, Revised Edition
Douban
W. V. Quine
publishing house:
Harvard University Press
2003
- 4