https://intlibrary.ir/download/collected-papers-on-mathematics,-logic,-and-philos-33476/