Journals in DBLP

Notre Dame Journal of Formal Logic
1995, volume: 36, number: 4

1. Peter Clote
   Editor's Introduction. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:499-501 [Journal]
   
2. Roman Murawski
   The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:502-504 [Journal]
   
3. Henryk Kotlarski
   Automorphisms of Countable Recursively Saturated Models of PA: a Survey. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:505-518 [Journal]
   
4. Roman Kossak
   Four Problems Concerning Recursively Saturated Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:519-530 [Journal]
   
5. Roman Kossak, James H. Schmerl
   Arithmetically Saturated Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:531-546 [Journal]
   
6. Richard Kaye
   The Theory of kappa-like Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:547-559 [Journal]
   
7. James H. Schmerl
   PA(aa). [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:560-569 [Journal]
   
8. David Seetapun, Theodore A. Slaman
   On the Strength of Ramsey's Theorem. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:570-582 [Journal]
   
9. Fabio Bellissima, Anna Bucalo
   A Distinguishable Model Theorem for the Minimal US-Tense Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:585-594 [Journal]
   
10. Michiro Kondo
    Approximation Logic and Strong Bunge Algebra. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:595-605 [Journal]
    
11. O. Anshakov, S. Rychkov
    On Finite-Valued Propositional Logical Calculi. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:606-629 [Journal]