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

Marcel Crabbé pubzone.org

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

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

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page