User menu

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

All Publications

Displaying 10 results.
    • Journal article
    The rise and fall of typed sentences
    Crabbe, Marcel[UCL] (2000) The Journal of Symbolic Logic — Vol. 65, no. 4, p. 1858-1862 (2000)
    • Journal article
    L'axiome de l'infini dans NFU
    Crabbe, Marcel[UCL] (1999) Comptes rendus de l'Académie des sciences - Series I - Mathematics — Vol. 329, no. 12, p. 1033-1035 (1999)
    • Journal article
    On the notion of substitution
    Crabbe, Marcel[UCL] (2004) Interest Group in Pure and Applied Logics. Logic Journal — Vol. 12, no. 2, p. 111-124 (2004)
    • Journal article
    Combined Primary and Secondary Adrenocortical Failure
    Vandeput, Y. Orth, DN. Crabbe, Marcel[UCL] (1982) Annales d'Endocrinologie — Vol. 43, no. 4, p. 277-279 (1982)
    • Journal article
    Une axiomatisation de la substitution
    Crabbe, Marcel[UCL] (2004) Comptes rendus - Mathématique — Vol. 338, no. 6, p. 433-436 (2004)
    • Journal article
    Stratification and Cut-elimination
    Crabbe, Marcel[UCL] (1991) The Journal of Symbolic Logic — Vol. 56, no. 1, p. 213-226 (1991)
    • Journal article
    On the Reduction of Type Theory
    Crabbe, Marcel[UCL] (1983) Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik — Vol. 29, no. 3, p. 235-237 (1983)
    • Journal article
    The Hauptsatz for Stratified Comprehension - a Semantic Proof
    Crabbe, Marcel[UCL] (1994) Mathematical Logic Quarterly — Vol. 40, no. 4, p. 481-489 (1994)
    • Journal article
    On the Consistency of An Impredicative Subsystem of Quines Nf
    Crabbe, Marcel[UCL] (1982) The Journal of Symbolic Logic — Vol. 47, no. 1, p. 131-136 (1982)
    • Journal article
    Typical Ambiguity and the Axiom of Choice
    Crabbe, Marcel[UCL] (1984) The Journal of Symbolic Logic — Vol. 49, no. 4, p. 1074-1078 (1984)