10 results
Trajectories of functioning after remission from anxiety disorders: 2-year course and outcome predictors
-
- Journal:
- Psychological Medicine / Volume 44 / Issue 3 / February 2014
- Published online by Cambridge University Press:
- 10 May 2013, pp. 593-605
-
- Article
- Export citation
Commutative non-associative number theory
-
- Journal:
- Proceedings of the Edinburgh Mathematical Society / Volume 20 / Issue 2 / September 1976
- Published online by Cambridge University Press:
- 20 January 2009, pp. 133-136
-
- Article
-
- You have access
- Export citation
A classification of intersection type systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-368
- Print publication:
- March 2002
-
- Article
- Export citation
Expedited Broda-Damas bracket abstraction
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1850-1857
- Print publication:
- December 2000
-
- Article
- Export citation
Some improvements to Turner's algorithm for bracket abstraction
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-669
- Print publication:
- June 1990
-
- Article
- Export citation
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-110
- Print publication:
- March 1987
-
- Article
- Export citation
Some anomalies in Fitch's system QD
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-249
- Print publication:
- June 1978
-
- Article
- Export citation
On the inconsistency of systems similar to
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-2
- Print publication:
- March 1978
-
- Article
- Export citation
Consistency notions in illative combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-529
- Print publication:
- December 1977
-
- Article
- Export citation
The inconsistency of
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-468
- Print publication:
- June 1976
-
- Article
- Export citation