21 found
Order:
  1.  29
    Helmut Schwichtenberg. Finite Notations for Infinite Terms. Annals of Pure and Applied Logic, Vol. 94 , Pp. 201–222.Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  19
    Recursion on Homogeneous Trees.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (19-20):295-298.
  3. Thoralf Skolem Pioneer of Computational Logic.Herman Ruge Jervell - 1996 - Nordic Journal of Philosophical Logic 1 (2):107-117.
  4.  19
    Gentzen Games.Herman Ruge Jervell - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):431-439.
  5.  6
    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.
  6.  21
    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.
  7.  8
    Gentzen Games.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (25‐28):431-439.
  8. 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.
  9.  16
    Large Finite Sets.Herman Ruge Jervell - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (35-36):545-549.
  10.  6
    Computer and Society.Herman Ruge Jervell & Kai A. Olsen - 1984 - Acm Sigcas Computers and Society 13 (4, 1-3):17-21.
  11.  4
    Large Finite Sets.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (35‐36):545-549.
  12.  3
    Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientiae:5-20.
  13.  2
    Review: Helmut Schwichtenberg, Finite Notations for Infinite Terms. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
  14.  3
    Review: Alasdair Urquhart, The Complexity of Linear Logic with Weakening. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
  15. An Herebrand [I.E. Herbrand] Theorem for Higher Order Logic.Herman Ruge Jervell - 1971 - Oslo, Universitetet I Oslo, Matematisk Institutt.
  16. An Herbrand Theorem for a Modal Logic.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.
     
    Export citation  
     
    Bookmark  
  17. A New Proof of the Classical Herbrand and Skolem Theorem.Herman Ruge Jervell - 1971 - [Oslo, Universitetet I Oslo, Matematisk Institutt.
     
    Export citation  
     
    Bookmark  
  18. Craig's Interpolation Theorem for the Intuitionistic Logic of Constant Domains.Herman Ruge Jervell - 1971 - [Oslo, Universitetet I Oslo, Matematisk Institutt.
     
    Export citation  
     
    Bookmark  
  19. Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientae:5-20.
  20. Herbrand and Skolem Theorems in Infinitary Languages.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.
  21. On Skolem and Herbrand Theorems for Intuitionistic Logic.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.
     
    Export citation  
     
    Bookmark