12 results
Somatic multicomorbidity and disability in patients with psychiatric disorders in comparison to the general population: a quasi-epidemiological investigation in 54,826 subjects from 40 countries (COMET-G study)
-
- Journal:
- CNS Spectrums / Volume 29 / Issue 2 / April 2024
- Published online by Cambridge University Press:
- 25 January 2024, pp. 126-149
-
- Article
- Export citation
Assessing response, remission, and treatment resistance in patients with obsessive–compulsive disorder with and without tic disorders: results from a multicenter study
-
- Journal:
- CNS Spectrums / Volume 27 / Issue 6 / December 2022
- Published online by Cambridge University Press:
- 16 September 2021, pp. 747-753
-
- Article
- Export citation
Suicidal ideation and suicidal attempts in patients with obsessive-compulsive tic-related disorder vs obsessive-compulsive disorder: results of a multicenter Italian study
-
- Journal:
- CNS Spectrums / Volume 26 / Issue 4 / August 2021
- Published online by Cambridge University Press:
- 06 May 2020, pp. 354-361
-
- Article
- Export citation
Prevalence and correlates of major depressive disorder, bipolar disorder and schizophrenia among nursing home residents without dementia: systematic review and meta-analysis
-
- Journal:
- The British Journal of Psychiatry / Volume 216 / Issue 1 / January 2020
- Published online by Cambridge University Press:
- 13 March 2019, pp. 6-15
- Print publication:
- January 2020
-
- Article
-
- You have access
- HTML
- Export citation
RAMSEY’S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 737-753
- Print publication:
- June 2017
-
- Article
- Export citation
An application of PER models to program extraction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 3 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 04 March 2009, pp. 309-331
-
- Article
- Export citation
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 519-526
-
- Article
-
- You have access
- Export citation
Classical logic as limit completion
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 1 / February 2005
- Published online by Cambridge University Press:
- 28 January 2005, pp. 167-200
-
- Article
- Export citation
βη-complete models for System F
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 6 / December 2002
- Published online by Cambridge University Press:
- 17 January 2003, pp. 823-874
-
- Article
- Export citation
Intuitionistic completeness for first order classical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-312
- Print publication:
- March 1999
-
- Article
- Export citation
On the computational content of the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-622
- Print publication:
- June 1998
-
- Article
- Export citation
Equalization of finite flowers
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-123
- Print publication:
- March 1988
-
- Article
- Export citation