Journals in DBLP

Logic Journal of the IGPL
1997, volume: 5, number: 6

1. Antony Galton
   Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:6, pp:- [Journal]
   
2. Roman Kossak
   Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:6, pp:- [Journal]
   
3. William P. R. Mitchell
   The Carcinogenic Example. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:6, pp:- [Journal]
   
4. Patricia Peratto
   Well-founded Relations in Type Theory. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:6, pp:- [Journal]
   
5. Ruy J. G. B. de Queiroz
   Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:6, pp:- [Journal]