Cardiac fibroma.

Ipek G., Mansuroglu D., Omeroglu A., Omeroglu S. N., Mataraci I.

The Annals of thoracic surgery, cilt.79, ss.1786, 2005 (SCI-Expanded, Scopus) identifier identifier identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 79
  • Basım Tarihi: 2005
  • Doi Numarası: 10.1016/s0003-4975(03)01436-x
  • Dergi Adı: The Annals of thoracic surgery
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.1786
  • İstanbul Üniversitesi-Cerrahpaşa Adresli: Evet

Özet

We introduce a relativized version of random Kripke's schema and show how it may be applied in the investigation of the expressive power of intuitionistic real algebra by interpreting second-order Heyting arithmetic in it.