24 treff

Logic and computations : compact companion
Herman Ruge Jervell
Bok Engelsk 2012
Modal logic
Herman Ruge Jervell
Bok Engelsk 2012
Proof theory
Herman Ruge Jervell
Bok Engelsk 2012
Formal logic : a guided tour
Herman Ruge Jervell
Bok Engelsk 2004
Modal logikk
Herman Ruge Jervell
Bok Bokmål 2002 · Les boka på nett
Logikk og beregnbarhet
Herman Ruge Jervell
Bok Bokmål 2001 · Les boka på nett
20 : norsk årsskrift for musikkforskning
redaktør: Arvid O. Vollsnes ; utgitt av N...
Bok Flerspråklig 1994
Hva datamaskiner ikke kan
Herman Ruge Jervell, Kai A. Olsen
Bok Bokmål 1984 · Les boka på nett
Gentzen games
by Herman Ruge Jervell
Bok Engelsk 1983
Large finite sets
by Herman Ruge Jervell
Bok Engelsk 1983
Ordinaldiagrams are regular bilators
by Herman Ruge Jervell
Bok Engelsk 1983
Recursion on homogeneous trees
by Herman Ruge Jervell
Bok Engelsk 1983
Hva datamaskiner ikke kan
Herman Ruge Jervell, Kai A. Olsen
Bok Bokmål 1982 · Les boka på nett
Prøveforelesninger
Herman Ruge Jervell
Bok Språk ikke angitt 1974
Skolem and Herbrand theorems in first order logic
Jervell, Herman Ruge
Bok Engelsk 1973
Herbrand and Skolems theorems in infinitary languages
Jervell, Herman Ruge
Bok Engelsk 1972
Herbrand and Skolem theorems in infinitary languages
by Herman Ruge Jervell
Bok Språk ikke angitt 1972
An Herbrand theorem for a modal logic
Jervell, Herman Ruge
Bok Engelsk 1972
On Skolem and Herbrand theorems for intuitionistic logic
by Herman Ruge Jervell
Bok Engelsk 1972
Craig's interpolation theorem for the intuitionistic logic of constant domains
Jervell, Herman Ruge
Bok Engelsk 1971
An Herbrand theorem for higher order logic
Jervell, Herman Ruge
Bok Engelsk 1971
A new proof of the classical Herbrand and Skolem theorem
Jervell, Herman Ruge
Bok Engelsk 1971
A normalform in first order arithmetic
Jervell, Herman Ruge
Bok Engelsk 1970
Om en definisjonskalkyle D
Jervell, Herman Ruge
Bok Bokmål 1967