https://intlibrary.ir/download/introduction-à-la-logique-70521/