Herman Ruge Jervell
15 titles on Bookis
Logikk og beregnbarhet
Modal logikk
Hva datamaskiner ikke kan
A new proof of the classical Herbrand and Skolem theorem
Craig's interpolation theorem for the intuitionistic logic of constant domains
An Herbrand theorem for higher order logic
Herbrand and Skolems theorems in infinitary languages
Recursion on homogeneous trees
Ordinaldiagrams are regular bilators
Formal logic - a guided tour
Modal Logic
An Herbrand theorem for a modal logic
Skolem and Herbrand theorems in first order logic
Gentzen games
Large finite sets
