[ÄÄÇ»ÅÍ] 'Metamathematics, Machines and Godel`s Proof'
Natarajan Shankar ÀúICambridge University PressI2002.10.08
78,000¿ø
3,900P (5%)