https://intlibrary.ir/download/games,-logic,-and-constructive-sets-62559/