Menu utilisateur

Accès à distance ? S'identifier sur le proxy UCLouvain

Stratification and Cut-elimination

Onglets principaux

Crabbe, Marcel [UCL]
Type de document Article de périodique (Journal article) – Article de recherche
Type d'accès Accès restreint
Année de publication 1991
Langue Anglais
Information sur le périodique "The Journal of Symbolic Logic" - Vol. 56, no. 1, p. 213-226 (1991)
Peer reviewed oui
Editeur Assn Symbolic Logic Inc (Champaign)
issn 0022-4812
e-issn 1943-5886
Statut de la publication Publié
Affiliations UCL
Liens
  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)
Référence bibliographique Crabbe, Marcel. Stratification and Cut-elimination. In: The Journal of Symbolic Logic, Vol. 56, no. 1, p. 213-226 (1991)
Permalien http://hdl.handle.net/2078.1/51181