Quality of life and cognitive functions in schizophrenia
16th Congress of the European-College-of-Neuropsychopharmacology, PRAGUE, Çek Cumhuriyeti, 20 - 24 Eylül 2003, (Özet Bildiri)
- Yayın Türü: Bildiri / Özet Bildiri
- Doi Numarası: 10.1016/s0924-977x(03)92045-1
- Basıldığı Şehir: PRAGUE
- Basıldığı Ülke: Çek Cumhuriyeti
- Dokuz Eylül Üniversitesi 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.