The effect of tirofiban on C-reactive protein levels in patients with non-ST-elevation myocardial infarction
Congress of the European-Society-of-Cardiology, Vienna, Avusturya, 30 Ağustos - 03 Eylül 2003, cilt.24, ss.546, (Özet Bildiri)
- Yayın Türü: Bildiri / Özet Bildiri
- Cilt numarası: 24
- Doi Numarası: 10.1016/s0195-668x(03)95639-9
- Basıldığı Şehir: Vienna
- Basıldığı Ülke: Avusturya
- Sayfa Sayıları: ss.546
- 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.