Journals in DBLP

Notre Dame Journal of Formal Logic
1989, volume: 30, number: 2

1. Albert Visser
   Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:161-196 [Journal]
   
2. Charles Steinhorn, Carlo Toffalori
   The Boolean Spectrum of an o-Minimal Theory. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:197-206 [Journal]
   
3. James Garson
   Modularity and Relevant Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:207-223 [Journal]
   
4. Kees Doets
   Monadic Pi₁¹-Theories of Pi₁¹-Properties. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:224-240 [Journal]
   
5. Peter Simons
   Combinators and Categorial Grammar. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:241-261 [Journal]
   
6. Balázs Biró
   Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:262-267 [Journal]
   
7. Norbert Brunner
   Set-Mappings on Dedekind Sets. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:268-270 [Journal]
   
8. Fred Johnson
   Models for Modal Syllogisms. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:271-284 [Journal]
   
9. George F. Schumm
   Some Compactness Results for Modal Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:285-290 [Journal]
   
10. John T. Kearns
    Lesniewski's Strategy and Modal Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:291-307 [Journal]