Computer and society. - Herman Ruge Jervell; Kai A. Olsen (SIGCAS Comput. Soc., 1984)

Recursion on Homogeneous Trees. - Herman Ruge Jervell (Math. Log. Q., 1985)

Gentzen Games. - Herman Ruge Jervell (Math. Log. Q., 1985)

Large Finite Sets. - Herman Ruge Jervell (Math. Log. Q., 1985)

Recursive Inseparability in Linear Logic. - Stål Aanderaa; Herman Ruge Jervell (CSL, 1992)

Preface. - Olav Gjelsvik; Herman Ruge Jervell (Synth., 1994)

Finite Trees as Ordinals. - Herman Ruge Jervell (CiE, 2005)