keyword فراقضایای صحت و تمامیت / (1 Article)
- Sort by
- Date
-
1.
Writer : فلاحی، اسدالله ؛
Journal:فلسفه و کلام اسلامی»بهار و تابستان 1402، سال پنجاه و ششم - شماره 1 Ranking الف (Ministry of Science/ISC (15 page(s) - From 115 to 129 )
Keywords:سمانتیکمنطق کلاسیکفراقضایای صحت و تمامیتMeta-Theorems of Soundness and CompletenesssemanticsClassical Logic