Atıf İçin Kopyala
Gnanavel S., Orri M., Mohammed M., Dray J., Baroud E., Kato H., ...Daha Fazla
LANCET PSYCHIATRY, cilt.7, sa.9, ss.735, 2020 (SCI-Expanded)
-
Yayın Türü:
Makale / Kısa Makale
-
Cilt numarası:
7
Sayı:
9
-
Basım Tarihi:
2020
-
Doi Numarası:
10.1016/s2215-0366(20)30314-x
-
Dergi Adı:
LANCET PSYCHIATRY
-
Derginin Tarandığı İndeksler:
Science Citation Index Expanded (SCI-EXPANDED), Social Sciences Citation Index (SSCI), Scopus, EMBASE, MEDLINE, Psycinfo
-
Sayfa Sayıları:
ss.735
-
Erciyes Üniversitesi Adresli:
Evet
Özet
Proof systems for the Relativized Propositional Calculus are defined and
compared.