10 results
Contributors
-
-
- Book:
- Cavernous Malformations of the Nervous System
- Published online:
- 07 September 2011
- Print publication:
- 01 September 2011, pp x-xii
-
- Chapter
- Export citation
Gabapentin reduces cardiovascular responses to laryngoscopy and tracheal intubation
-
- Journal:
- European Journal of Anaesthesiology / Volume 23 / Issue 8 / August 2006
- Published online by Cambridge University Press:
- 04 April 2006, pp. 686-690
- Print publication:
- August 2006
-
- Article
- Export citation
A comparison of the effect on gastric emptying of propofol or dexmedetomidine in critically ill patients: preliminary study
-
- Journal:
- European Journal of Anaesthesiology / Volume 23 / Issue 8 / August 2006
- Published online by Cambridge University Press:
- 04 April 2006, pp. 700-704
- Print publication:
- August 2006
-
- Article
- Export citation
Preparation of Na0.5K0.5NbO3/La0.6Sr0.2Mn1.2O3/LaAlO3 Thin Film Structures by Pulsed Laser Deposition
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 574 / 1999
- Published online by Cambridge University Press:
- 10 February 2011, 249
- Print publication:
- 1999
-
- Article
- Export citation
Arthur W. Burks. The logic of programming electronic digital computers. Industrial mathematics (Detroit), vol. 1 (1950), pp. 36–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- June 1953
-
- Article
- Export citation
Practical forms of type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 2 / June 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-94
- Print publication:
- June 1948
-
- Article
- Export citation
The use of dots as brackets in Church's system
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 4 / December 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-156
- Print publication:
- December 1942
-
- Article
- Export citation
A formal theorem in Church's theory of types
-
- Journal:
- The Journal of Symbolic Logic / Volume 7 / Issue 1 / 24 March 1942
- Published online by Cambridge University Press:
- 12 March 2014, pp. 28-33
- Print publication:
- 24 March 1942
-
- Article
- Export citation
Computability and λ-definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 4 / December 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-163
- Print publication:
- December 1937
-
- Article
- Export citation
The þ-function in λ-K-conversion
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 4 / December 1937
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
- Print publication:
- December 1937
-
- Article
- Export citation