Journals in DBLP

Notre Dame Journal of Formal Logic
1992, volume: 33, number: 2

1. Frank O. Wagner
   More on R. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:159-174 [Journal]
   
2. D. W. Kuecker, Michael C. Laskowski
   On Generic Structures. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:175-183 [Journal]
   
3. Jean-Pierre Marquis
   Approximations and Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:184-196 [Journal]
   
4. Edwin D. Mares, Robert K. Meyer
   The Admissibility of Gama in R4. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:197-206 [Journal]
   
5. Richard Sylvan
   On Interpreting Thruth Tables and Relevant Truth Table Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:207-216 [Journal]
   
6. James H. Schmerl
   End Extensions of Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:216-220 [Journal]
   
7. Nocholas Denyer
   Pure Second-Order Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:220-224 [Journal]
   
8. Alberto Zanardo
   A Note about the Axioms for Branching-Time Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:225-228 [Journal]
   
9. Henry Africk
   Classical Logic, Intuitionistic Logic and the Peirce Rule. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:229-235 [Journal]
   
10. Paul E. Howard
    The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:236-243 [Journal]
    
11. Vladimir V. Rybakov
    A Modal Analog for Glivenko's Theorem and its Applications. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:244-248 [Journal]
    
12. Maarten de Rijke
    Unary Interpretation Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:249-272 [Journal]
    
13. Gregory L. McColm
    Eventualy Periodicity and "One-Dimensional" Queries. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:2, pp:273-290 [Journal]