逻辑的广播

写了新日记

Wolfgang Rautenberg:《数理逻辑简明教程·序·导论》
本篇介绍的内容是《Concise Introduction to Mathematical Logic》序中的第一自然段和导论全文。 介绍这个材料的理由是:序作者和教科书作者用了非常「精致」、简练和漂亮的语言,勾勒出了数理逻辑的概貌,对于数理逻辑的初学者来说不...