Journals in DBLP

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

1. David Isles
   What Evidence is There that 2pow65536 is a Natural Number? [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:465-480 [Journal]
   
2. Sakaé Fuchino
   On Potential Embedding and Versions of Martin's Axiom. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:481-492 [Journal]
   
3. François Lepage
   Partial Functions in Type Theory. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:493-516 [Journal]
   
4. Serge Lapierre
   A Functional Partial Sematics for Intensional Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:517-541 [Journal]
   
5. Domenico Zambella
   On the Proofs of Arithmetical Completeness for Interpretability Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:542-551 [Journal]
   
6. Tomasz F. Skura
   Refutation Calculi for Certain Intermediate Proposittional Logics. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:552-560 [Journal]
   
7. John K. Stanley, Robert K. Meyer
   A Structurally Complete Fragment of Relevant Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:561-566 [Journal]
   
8. Fred Johnson
   Counting Functions. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:567-569 [Journal]
   
9. Xuegang Wang
   The minima System L⁰ . [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:569-575 [Journal]
   
10. Sven Ove Hansson
    The Difference Model of VOting. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:576-592 [Journal]
    
11. William C. Purdy
    On the Question "Do we Need Indentity?". [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:593-604 [Journal]