Atıf İçin Kopyala
Uprak T. K., Kumral Z. N. Ö., Sen S. L., Ozturk C. C., Yegen C., Yegen B. C.
GASTROENTEROLOGY, cilt.158, sa.6, ss.286, 2020 (SCI-Expanded)
-
Yayın Türü:
Makale / Özet
-
Cilt numarası:
158
Sayı:
6
-
Basım Tarihi:
2020
-
Doi Numarası:
10.1016/s0016-5085(20)31404-9
-
Dergi Adı:
GASTROENTEROLOGY
-
Derginin Tarandığı İndeksler:
Science Citation Index Expanded (SCI-EXPANDED), Scopus, BIOSIS, CAB Abstracts, EMBASE, International Pharmaceutical Abstracts, MEDLINE, Veterinary Science Database
-
Sayfa Sayıları:
ss.286
-
Marmara Üniversitesi Adresli:
Evet
Özet
Proof systems for the Relativized Propositional Calculus are defined and
compared.