Metformin in the treatment of nonalcoholic steatohepatitis
38th Annual Meeting of the European-Association-for-the-Study-of-the-Liver, İstanbul, Türkiye, 29 Mart - 01 Nisan 2003, ss.195, (Özet Bildiri)
- Yayın Türü: Bildiri / Özet Bildiri
- Doi Numarası: 10.1016/s0168-8278(03)80052-1
- Basıldığı Şehir: İstanbul
- Basıldığı Ülke: Türkiye
- Sayfa Sayıları: ss.195
- Dokuz Eylül Üniversitesi Adresli: Hayır
Özet
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.