数理逻辑引论-王宪均
王老师的经典之作，可以认真研读，尤其是关于独立性的证明，对数理逻辑的发展有清晰的解释
王老师的经典之作，可以认真研读，尤其是关于独立性的证明，对数理逻辑的发展有清晰的解释