18 results
A 5000-yr Record of Climate Change in Varved Sediments from the Oxygen Minimum Zone off Pakistan, Northeastern Arabian Sea
-
- Journal:
- Quaternary Research / Volume 51 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 20 January 2017, pp. 39-53
-
- Article
- Export citation
A realizability interpretation of Church's simple theory of types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 8 / December 2017
- Published online by Cambridge University Press:
- 22 July 2016, pp. 1364-1385
-
- Article
- Export citation
Preface to the special issue: Computing with infinite data: topological and logical foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 7 / October 2015
- Published online by Cambridge University Press:
- 13 November 2014, pp. 1463-1465
-
- Article
-
- You have access
- Export citation
Contributors
-
-
- Book:
- Trauma
- Published online:
- 07 September 2011
- Print publication:
- 16 June 2011, pp ix-xiv
-
- Chapter
- Export citation
Conscientiousness and externalizing psychopathology: Overlap, developmental patterns, and etiology of two related constructs–Corrigendum
-
- Journal:
- Development and Psychopathology / Volume 22 / Issue 3 / August 2010
- Published online by Cambridge University Press:
- 24 June 2010, p. 715
-
- Article
-
- You have access
- HTML
- Export citation
Domain representations of spaces of compact subsets
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 2 / April 2010
- Published online by Cambridge University Press:
- 25 March 2010, pp. 107-126
-
- Article
- Export citation
Reverse Mathematics 2001, edited by Stephen G. Simpson, Lecture Notes in Logic, vol. 21. ASL and AK Peters, Ltd., Wellesley, Massachusetts, x + 401 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 106-109
- Print publication:
- March 2007
-
- Article
- Export citation
Continuous semantics for strong normalisation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 5 / October 2006
- Published online by Cambridge University Press:
- 11 October 2006, pp. 751-762
-
- Article
- Export citation
Modified bar recursion
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 2 / April 2006
- Published online by Cambridge University Press:
- 17 May 2006, pp. 163-183
-
- Article
- Export citation
Adherence to guidelines for treatment of depression in in-patients
-
- Journal:
- The British Journal of Psychiatry / Volume 187 / Issue 5 / November 2005
- Published online by Cambridge University Press:
- 02 January 2018, pp. 462-469
- Print publication:
- November 2005
-
- Article
-
- You have access
- HTML
- Export citation
Modified bar recursion and classical dependent choice
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 89-107
-
- Chapter
- Export citation
Prevalence of Nosocomial Infections in Swiss Children's Hospitals
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 25 / Issue 9 / September 2004
- Published online by Cambridge University Press:
- 02 January 2015, pp. 765-771
- Print publication:
- September 2004
-
- Article
- Export citation
Jeremy Avigad. A realizability interpretation for classical arithmetic. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 57–90.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 439-440
- Print publication:
- September 2002
-
- Article
- Export citation
Ulrich Kohlenbach. Relative constructivity. The journal of symbolic logic, vol. 63 (1998), pp. 1218–1238.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 436-437
- Print publication:
- September 2002
-
- Article
- Export citation
Computability and totality in domains
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 16 August 2002, pp. 281-294
-
- Article
- Export citation
Ulrich Kohlenbach. Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Archive for mathematical logic, vol. 36 (1996), pp. 31–71.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 280-281
- Print publication:
- June 2001
-
- Article
- Export citation
Looking Backward, Looking Forward: MLA Members Speak
-
- Journal:
- PMLA / Publications of the Modern Language Association of America / Volume 115 / Issue 7 / December 2000
- Published online by Cambridge University Press:
- 23 October 2020, pp. 1986-2078
- Print publication:
- December 2000
-
- Article
- Export citation
Continuous Functionals of Dependent and Transfinite Types
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 1-22
-
- Chapter
- Export citation