Atıf İçin Kopyala
Arbyn M., Bruni L., Kelly D., Basu P., Poljak M., GÜLTEKİN M., ...Daha Fazla
LANCET PUBLIC HEALTH, cilt.5, sa.8, 2020 (SCI-Expanded)
-
Yayın Türü:
Makale / Kısa Makale
-
Cilt numarası:
5
Sayı:
8
-
Basım Tarihi:
2020
-
Doi Numarası:
10.1016/2468-2667(20)30122-5
-
Dergi Adı:
LANCET PUBLIC HEALTH
-
Derginin Tarandığı İndeksler:
Science Citation Index Expanded (SCI-EXPANDED), Social Sciences Citation Index (SSCI), Scopus, EMBASE, MEDLINE, Directory of Open Access Journals
-
Hacettepe Üniversitesi Adresli:
Evet
Özet
Proof systems for the Relativized Propositional Calculus are defined and
compared.