25 treff

Jervell Herman Ruge
Modal logikk
Herman Ruge Jervell
Bok Bokmål 2002 · Les boka på nett
Hva datamaskiner ikke kan
Jervell, Herman Ruge
Bok Bokmål 1984
Hva datamaskiner ikke kan
Jervell, Herman Ruge
Bok Bokmål 1982
Logikk og beregnbarhet
Herman Ruge Jervell
Bok Bokmål 2001 · Les boka på nett
Om en definisjonskalkyle D
Jervell, Herman Ruge
Bok Bokmål 1967
Formal logic - a guided tour
Jervell, Herman Ruge
Bok Engelsk 2007
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
An Herbrand theorem for a modal logic
Jervell, Herman Ruge
Bok Engelsk 1972
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
On Skolem and Herbrand theorems for intuitionistic logic
by Herman Ruge Jervell
Bok Engelsk 1972
Hvad datamaskiner ikke kan
Herman Ruge Jervell, Kai A. Olsen ; på da...
Bok Språk ikke angitt 1983
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
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
20 : norsk årsskrift for musikkforskning
redaktør: Arvid O. Vollsnes ; utgitt av N...
Bok Flerspråklig 1994