dblp.uni-trier.dewww.uni-trier.de

Marcel Crabbé

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
10 Marcel Crabbé: Cuts and gluts. Journal of Applied Non-Classical Logics 15(3): 249-263 (2005)
2004
9EEMarcel Crabbé: On the Notion of Substitution. Logic Journal of the IGPL 12(2): 111-124 (2004)
2000
8 Marcel Crabbé: The Rise and Fall of Typed Sentences. J. Symb. Log. 65(4): 1858-1862 (2000)
7EEMarcel Crabbé: On the Set of Atoms. Logic Journal of the IGPL 8(6): (2000)
1999
6 Marcel Crabbé: The 3-Stratifiable Theorems of NFUinfinity. Notre Dame Journal of Formal Logic 40(2): 174-182 (1999)
1994
5 Marcel Crabbé: The Hauptsatz for Stratified Comprehension: A Semantic Proof. Math. Log. Q. 40: 481-489 (1994)
1992
4 Marcel Crabbé: On NFU. Notre Dame Journal of Formal Logic 33(1): 112-119 (1992)
1991
3 Marcel Crabbé: Stratification and Cut-Elimination. J. Symb. Log. 56(1): 213-226 (1991)
1984
2 Marcel Crabbé: Typical Ambiguity and the Axiom of Choice. J. Symb. Log. 49(4): 1074-1078 (1984)
1982
1 Marcel Crabbé: On the Consistency of an Impredicative Subsystem of Quine's NF. J. Symb. Log. 47(1): 131-136 (1982)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)