1_7tnqfD2w_现代数学基础丛书172-数理逻辑导引,冯琦编著,北京：科学出版社_14335400

现代数学基础丛书(科学)