دورية
The single-conclusion proof logic and inference rules specification
| العنوان: | The single-conclusion proof logic and inference rules specification |
|---|---|
| المؤلفون: | Krupski, V. N. |
| المصدر: | Annals of Pure and Applied Logic; 2001, Vol. 113 Issue: 1-3 p181-206, 26p |
| قاعدة البيانات: | Supplemental Index |
Full Text Finder | تدمد: | 01680072 |
|---|---|
| DOI: | 10.1016/S0168-0072(01)00058-6 |