Search the dblp DataBase
Marcel Crabbé :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marcel Crabbé On the Set of Atoms. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal ] Marcel Crabbé On the Notion of Substitution. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2004, v:12, n:2, pp:111-124 [Journal ] Marcel Crabbé Cuts and gluts. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2005, v:15, n:3, pp:249-263 [Journal ] Marcel Crabbé The Rise and Fall of Typed Sentences. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2000, v:65, n:4, pp:1858-1862 [Journal ] Marcel Crabbé On the Consistency of an Impredicative Subsystem of Quine's NF. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:1, pp:131-136 [Journal ] Marcel Crabbé Typical Ambiguity and the Axiom of Choice. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:4, pp:1074-1078 [Journal ] Marcel Crabbé Stratification and Cut-Elimination. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1991, v:56, n:1, pp:213-226 [Journal ] Marcel Crabbé The Hauptsatz for Stratified Comprehension: A Semantic Proof. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 1994, v:40, n:, pp:481-489 [Journal ] Marcel Crabbé On NFU. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:112-119 [Journal ] Marcel Crabbé The 3-Stratifiable Theorems of NFU_{infinity} . [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1999, v:40, n:2, pp:174-182 [Journal ] Search in 0.001secs, Finished in 0.002secs