https://intlibrary.ir/download/applications-scientifiques-de-la-logique-mathémati-61803/