Journals in DBLP

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

1. John T. Kearns
   Propositional Logic of Supposition and Assertion. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:325-349 [Journal]
   
2. Osamu Takaki
   Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:350-373 [Journal]
   
3. Carsten Butz
   Syntax and Semantics of the Logic L^{lambda_{omega omega}}. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:374-384 [Journal]
   
4. Anthony F. Peressini
   Cumulative versus Noncumulative Ramified Types. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:385-397 [Journal]
   
5. S. V. Bhave
   Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:398-405 [Journal]
   
6. Rich Blaylock, Rodney G. Downey, Steffen Lempp
   Infima in the Recursively Enumerable Weak Truth Table Degrees. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:406-418 [Journal]
   
7. Mark Reynolds
   A Decidable Temporal Logic of Parallelism. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:419-436 [Journal]
   
8. Richard G. Heck Jr.
   Grundgesetz der Arithmetik I §§29-32. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:437-474 [Journal]