Christopher J. Ash Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1992, v:58, n:3, pp:173-184 [Journal]
Ker-I Ko On the Computational Complexity of Integral Equations. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1992, v:58, n:3, pp:201-228 [Journal]
Andrea Masini 2-Sequent Calculus: A Proof Theory of Modalities. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1992, v:58, n:3, pp:229-246 [Journal]