Gold Coin Blogger

إثبات$t = s\vdash ^ {v} A\leftrightarrow B$بمنطق الرتبة الأولى