Journals in DBLP

Notre Dame Journal of Formal Logic
1997, volume: 38, number: 2

1. Bakhadyr Khoussainov, André Nies, Richard A. Shore
   Computable Models of Theories with Few Models. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:165-178 [Journal]
   
2. Newton C. A. da Costa, Décio Krause
   An Intenstional Schrödinger Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:179-194 [Journal]
   
3. Victor Rodych
   Wittgenstein on Mathematical Meaningfullness, Decidability, and Application. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:195-224 [Journal]
   
4. Ian Pratt, Oliver Lemon
   Ontologies for Plane, Polygonal Mereotopology. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:225-245 [Journal]
   
5. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
   The ``Relevance'' of Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:246-269 [Journal]
   
6. Karim Nour
   A Conjecture on Numeral Systems. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:270-275 [Journal]
   
7. Genoveva Martí
   Rethinking Quine's Argument on the Collapse of Modal Distinctions. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:276-294 [Journal]
   
8. Philip Kremer
   Propositional Quantification in the Topological Semantics for S4. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:295-313 [Journal]