21 found
Order:
  1.  10
    Gentzen games.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (25‐28):431-439.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  26
    Gentzen Games.Herman Ruge Jervell - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):431-439.
  3. An Herebrand [i.e. Herbrand] theorem for higher order logic.Herman Ruge Jervell - 1971 - Oslo,: Universitetet i Oslo, Matematisk institutt.
     
    Export citation  
     
    Bookmark  
  4. An Herbrand theorem for a modal logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
     
    Export citation  
     
    Bookmark  
  5. A new proof of the classical Herbrand and Skolem theorem.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
     
    Export citation  
     
    Bookmark  
  6.  12
    Computer and society.Herman Ruge Jervell & Kai A. Olsen - 1984 - Acm Sigcas Computers and Society 13 (4, 1-3):17-21.
    The computer is a relatively new invention in the history of man. It has found application in many sectors, and will undoubtedly influence our society. As we shall show, however, the computer is linked to a chain of development that started 10,000 years ago, when a society of hunters and gatherers changed into an agricultural society. The computer is completely dependent on this development towards a more and more formalized society.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Craig's interpolation theorem for the intuitionistic logic of constant domains.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
     
    Export citation  
     
    Bookmark  
  8.  7
    Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientiae:5-20.
    We show how to construct ordinals up to the small Veblen ordinal in a constructive way and discuss some of the problems trying to go beyond them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  11
    Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientiae:5-20.
    We show how to construct ordinals up to the small Veblen ordinal in a constructive way and discuss some of the problems trying to go beyond them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
  11.  8
    Large Finite Sets.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (35‐36):545-549.
  12.  21
    Large Finite Sets.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (35-36):545-549.
  13. On Skolem and Herbrand theorems for intuitionistic logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
  14.  22
    Recursion on Homogeneous Trees.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (19-20):295-298.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Thoralf Skolem Pioneer of Computational Logic.Herman Ruge Jervell - 1996 - Nordic Journal of Philosophical Logic 1 (2):107-117.
  16.  16
    Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
  17.  37
    Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 , pp. 201–222. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  23
    Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 , pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
  19.  11
    Review: Helmut Schwichtenberg, Finite Notations for Infinite Terms. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
  20. Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
  21.  34
    Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.