Current therapeutic approaches in childhood chronic hepatitis B infection
38th Annual Meeting of the European-Association-for-the-Study-of-the-Liver, İstanbul, Türkiye, 29 Mart - 01 Nisan 2003, cilt.38, ss.26, (Özet Bildiri)
- Yayın Türü: Bildiri / Özet Bildiri
- Cilt numarası: 38
- Doi Numarası: 10.1016/s0168-8278(03)80487-7
- Basıldığı Şehir: İstanbul
- Basıldığı Ülke: Türkiye
- Sayfa Sayıları: ss.26
- Dokuz Eylül Üniversitesi Adresli: Evet
Özet
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.