18 found
Sort by:
  1. Herman Ruge Jervell (2006). Constructing Ordinals. Philosophia Scientiae:5-20.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Herman Ruge Jervell (2002). Review: Alasdair Urquhart, The Complexity of Linear Logic with Weakening. [REVIEW] Bulletin of Symbolic Logic 8 (1):100-101.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Herman Ruge Jervell (2002). Urquhart Alasdair. 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 Buss Samuel R., Hájek Petr, and Pudlák Pavel, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and AK Peters, Natick, Mass., 2000, Pp. 500–515. [REVIEW] Bulletin of Symbolic Logic 8 (1):100-101.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Herman Ruge Jervell (2000). Review: Helmut Schwichtenberg, Finite Notations for Infinite Terms. [REVIEW] Bulletin of Symbolic Logic 6 (4):477-477.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Herman Ruge Jervell (2000). Schwichtenberg Helmut. Finite Notations for Infinite Terms. Annals of Pure and Applied Logic, Vol. 94 (1998), Pp. 201–222. [REVIEW] Bulletin of Symbolic Logic 6 (4):477-477.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Herman Ruge Jervell (1996). Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic. [REVIEW] Journal of Symbolic Logic 61 (1):336-338.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Herman Ruge Jervell (1996). Thoralf Skolem Pioneer of Computational Logic. Nordic Journal of Philosophical Logic 1 (2):107-117.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Olav Gjelsvik & Herman Ruge Jervell (1994). Preface. Synthese 98 (1):1-2.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Herman Ruge Jervell (1985). Gentzen Games. Mathematical Logic Quarterly 31 (25‐28):431-439.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Herman Ruge Jervell (1985). Large Finite Sets. Mathematical Logic Quarterly 31 (35‐36):545-549.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Herman Ruge Jervell (1985). Recursion on Homogeneous Trees. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 31 (19-20):295-298.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Herman Ruge Jervell & Kai A. Olsen (1984). Computer and Society. Acm Sigcas Computers and Society 13 (4, 1-3):17-21.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Herman Ruge Jervell (1972). An Herbrand Theorem for a Modal Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
     
    My bibliography  
     
    Export citation  
  14. Herman Ruge Jervell (1972). Herbrand and Skolem Theorems in Infinitary Languages. Oslo,Universitetet I Oslo, Matematisk Institutt.
     
    My bibliography  
     
    Export citation  
  15. Herman Ruge Jervell (1972). On Skolem and Herbrand Theorems for Intuitionistic Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
     
    My bibliography  
     
    Export citation  
  16. Herman Ruge Jervell (1971). An Herebrand [I.E. Herbrand] Theorem for Higher Order Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
     
    My bibliography  
     
    Export citation  
  17. Herman Ruge Jervell (1971). A New Proof of the Classical Herbrand and Skolem Theorem. [Oslo,Universitetet I Oslo, Matematisk Institutt.
    No categories
     
    My bibliography  
     
    Export citation  
  18. Herman Ruge Jervell (1971). Craig's Interpolation Theorem for the Intuitionistic Logic of Constant Domains. [Oslo,Universitetet I Oslo, Matematisk Institutt.
     
    My bibliography  
     
    Export citation