38 results
Stable isotopic records in unionid shells as a paleoenvironmental tool
-
- Journal:
- Netherlands Journal of Geosciences / Volume 84 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 01 April 2016, pp. 403-408
-
- Article
-
- You have access
- Export citation
Validation of an Automated Surveillance Approach for Drain-Related Meningitis: A Multicenter Study
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 36 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 05 January 2015, pp. 65-75
- Print publication:
- January 2015
-
- Article
- Export citation
Accuracy of Hospital Discharge Coding Data for the Surveillance of Drain-Related Meningitis
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 34 / Issue 4 / April 2013
- Published online by Cambridge University Press:
- 02 January 2015, pp. 433-436
- Print publication:
- April 2013
-
- Article
- Export citation
History of constructivism in the 20th century
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 150-179
-
- Chapter
- Export citation
Highly Resistant Gram-Negative Microorganisms Incidence Density and Occurrence of Nosocomial Transmission (TRIANGLe Study)
- Part of
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 32 / Issue 4 / April 2011
- Published online by Cambridge University Press:
- 02 January 2015, pp. 333-341
- Print publication:
- April 2011
-
- Article
- Export citation
The Late Quaternary Sedimentary Record of Reykjanes Ridge, North Atlantic
-
- Journal:
- Radiocarbon / Volume 43 / Issue 2B / 2001
- Published online by Cambridge University Press:
- 18 July 2016, pp. 939-947
- Print publication:
- 2001
-
- Article
-
- You have access
- Export citation
Index
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 408-417
-
- Chapter
- Export citation
11 - Second-order logic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 345-366
-
- Chapter
- Export citation
Symbols and notations
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 404-407
-
- Chapter
- Export citation
6 - Normalization for natural deduction
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 178-229
-
- Chapter
- Export citation
7 - Resolution
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 230-257
-
- Chapter
- Export citation
Solutions to selected exercises
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 367-378
-
- Chapter
- Export citation
4 - Cut elimination with applications
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 92-146
-
- Chapter
- Export citation
3 - Gentzen systems
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 60-91
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805217/79111/cover/9780521779111.jpg)
Basic Proof Theory
-
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000
2 - N-systems and H-systems
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 35-59
-
- Chapter
- Export citation
5 - Bounds and permutations
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 147-177
-
- Chapter
- Export citation
8 - Categorical logic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 258-282
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 379-403
-
- Chapter
- Export citation
Contents
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp v-viii
-
- Chapter
- Export citation