اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر

https://people.iut.ac.ir/fa/aghaei/content/1635607?view=qrcode