User menu

Stratification and Cut-elimination

Bibliographic reference Crabbe, Marcel. Stratification and Cut-elimination. In: The Journal of Symbolic Logic, Vol. 56, no. 1, p. 213-226 (1991)
Permanent URL http://hdl.handle.net/2078.1/51181
  1. A normalization theorem for set theory, 53, 673 (1988)
  2. Éléments de mathématique. Livre I: Théorie des ensembles (1958)
  3. Fundamenta Mathematicae, 101, 11 (1978)
  4. Typical ambiguity and the axiom of choice, 49, 1074 (1984)
  5. Combinatory logic (1968)
  6. Indagationes Mathematicae, 34, 391 (1972)
  7. Proceedings of the second Scandinavian logic symposium, 63 (1971)
  8. To H. B. Curry: essays on combinatory logic, lambda calculus and formalism, 479 (1980)
  9. Jensen Ronald Bj�rn, On the consistency of a slight (?) Modification of quine'sMew Foundations, 10.1007/bf00568059
  10. Proceedings of the second Scandinavian logic symposium, 217 (1971)
  11. Natural deduction (1965)
  12. Proceedings of the second Scandinavian logic symposium, 235 (1971)
  13. American Mathematical Monthly, 40, 70 (1937)
  14. Specker E. P., The Axiom of Choice in Quine's New Foundations for Mathematical Logic, 10.1073/pnas.39.9.972
  15. Logic, methodology and the philosophy of science, 117 (1962)
  16. Intensional interpretation of functionals of finite type, 32, 198 (1967)
  17. Logic Colloquium (Boston, Massachusetts, 1972/73), 453, 240 (1975)