Journals in DBLP

Notre Dame Journal of Formal Logic
1991, volume: 32, number: 4

1. Rodney G. Downey
   On Pi₁⁰ Classes and their Ranked Points. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:499-512 [Journal]
   
2. David Charles McCarty
   Polymorphism and Apartness. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:513-532 [Journal]
   
3. Wim Ruitenburg
   Inequality in Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:533-553 [Journal]
   
4. Albert Visser
   On the Sigma₁⁰-Conservativity of Sigma₁⁰-Completeness. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:554-561 [Journal]
   
5. Alessandra Carbone
   Provable Fixed Points in I Delta₀ + Omega₁. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:562-572 [Journal]
   
6. Henryk Kotlarski
   Full Satisfaction Classes: A Survey. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:573-579 [Journal]
   
7. Kosta Dosen
   Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:580-597 [Journal]
   
8. Juan Barba Escriba
   A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:598-608 [Journal]
   
9. Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze
   C₁ Is Not Algebraizable. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:609-611 [Journal]
   
10. Christopher C. Leary
    Pleasant Ideals. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:612-617 [Journal]
    
11. Claudio Pizzi
    Decision Procedures for Logics of Consequential Implication. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:618-636 [Journal]
    
12. Carlo Toffalori
    Classifying Pairs of Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:637-650 [Journal]