Journals in DBLP
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 ] 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 ] 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 ] Kees Doets Monadic Pi_{1} ^{1} -Theories of Pi_{1} ^{1} -Properties. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:224-240 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]