Interference in scientific research on COVID-19 in Turkey

Creative Commons License

Bayram H., Koektuerk N., Elbek O., Kilinc O., Sayiner A., Dagli E.

LANCET, cilt.396, sa.10249, ss.463-464, 2020 (SCI-Expanded) identifier identifier identifier identifier

  • Yayın Türü: Makale / Kısa Makale
  • Cilt numarası: 396 Sayı: 10249
  • Basım Tarihi: 2020
  • Doi Numarası: 10.1016/s0140-6736(20)31691-3
  • Dergi Adı: LANCET
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, PASCAL, Agricultural & Environmental Science Database, Aquatic Science & Fisheries Abstracts (ASFA), BIOSIS, CAB Abstracts, EMBASE, Food Science & Technology Abstracts, MEDLINE, Psycinfo, Veterinary Science Database
  • Sayfa Sayıları: ss.463-464
  • Gazi Üniversitesi Adresli: Evet

Özet

Proof systems for the Relativized Propositional Calculus are defined and compared.