5 results
GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 485-495
- Print publication:
- June 2014
-
- Article
- Export citation
Contributors
-
-
- Book:
- Case Studies in Neuroanesthesia and Neurocritical Care
- Published online:
- 03 May 2011
- Print publication:
- 03 February 2011, pp x-xvi
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- Foundations of Psychiatric Sleep Medicine
- Published online:
- 01 June 2011
- Print publication:
- 23 December 2010, pp vii-x
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- Disorders of Voluntary Muscle
- Published online:
- 26 February 2010
- Print publication:
- 21 January 2010, pp vii-x
-
- Chapter
- Export citation
Higher-order semantics and extensionality
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1027-1088
- Print publication:
- December 2004
-
- Article
- Export citation