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 NFUinfinity. [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
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002