代数模型论引论

数理逻辑是数学的一个分支。模型论是数理逻辑的四大论之一,也是数理逻辑研究中目前最活跃的一论。模型论通...

2011.10