Lithium induced alterations in NTP levels in human brain: A proton decoupled 31P MRS study

Yildiz A., Sachs G., Tunca Z., Demopulos C., Moore C., Renshaw P.

16th Congress of the European-College-of-Neuropsychopharmacology, PRAGUE, Czech Republic, 20 - 24 September 2003, vol.13, (Summary Text) identifier identifier

  • Publication Type: Conference Paper / Summary Text
  • Volume: 13
  • Doi Number: 10.1016/s0924-977x(03)91754-8
  • City: PRAGUE
  • Country: Czech Republic
  • Dokuz Eylül University Affiliated: No

Abstract

We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.