Herman Ruge Jervell

• A new proof of the classical Herbrand and Skolem theorem
• An Herbrand theorem for a modal logic
• An Herebrand [i.e. Herbrand] theorem for higher order logic
• Craig's interpolation theorem for the intuitionistic logic of constant domains
• Herbrand and Skolem theorems in infinitary languages
• Hva datamaskiner ikke kan
• Logic and Computations
• Logikk og beregnbarhet
• Modal Logic
• On Skolem and Herbrand theorems for intuitionistic logic