變更

《'''逻辑方法'''》，阐述现代逻辑的形式概念和发展形式[[推理]]方法的著作。维·蒯因(见“数理逻辑”)著。1950年初版，1959、1972、1978年再版。