Herman Ruge Jervell
Professor Emeritus
-
Department for Informatics
.jpg)
Norwegian version of this page
Email
herman@ifi.uio.no
Phone
+47-22840121
Mobile phone
+47-98853310
Room
9462
Username
Publications
- Jervell, Herman Ruge (2015). Climbing Mount ε0, In Gentzen's Centenary. Springer Publishing Company. ISBN 978-3-319-10102-6. Part III. s 301 - 315 Show summary
- Jervell, Herman Ruge (2009). Kantiansk anskuelse og høyere aritmetikk, I: Anita Leirfall & Thor Sandmel (red.), Enhet i mangfold. Festskrift i anledning Johan Arnt Myrstads 60-årsdag. Unipub forlag. ISBN 9788230311790. artikkel. s 201 - 218
- Jervell, Herman Ruge (2006). Constructing ordinals, In Gerhard Heinzmann & Giuseppina Ronzitti (ed.), Constructivism: Mathematics, Logic, Philosophy and Linguistics. Éditions KIMÉ. ISBN 2-84174-399-3. Kapittel. s 5 - 20
- Jervell, Herman Ruge (2005). Finite trees as ordinals, In S.Barry Cooper; Benedikt Löwe & Leen Torenvliet (ed.), New Computational Paradigms First Conference on Computability in Europe, CiE 2005. Springer. ISBN 3-540-26179-6. Kapittel. s 211 - 220
- Jervell, Herman Ruge (2005). Finite trees as ordinals. Lecture Notes in Computer Science. ISSN 0302-9743. 3526
- Jervell, Herman Ruge (2003). Appendix: Section 20.3 From a logical point of view, In Bernt Petter Stigum (ed.), Econometrics and the Philosophy of Economics. Theory-Data Confrontations in Economics. Princeton University Press. ISBN 0-691-11300-9. s 520 - 524
- Jervell, Herman Ruge (1999). Om det uendelige. Pascal som matematiker, logiker og fysiker, I: Hans Kolstad & Arild Waaler (red.), Endelighet og evighet. 15 essays om Blaise Pascal. Aschehoug & Co. ISBN 82-03-18050-7. Show summary
- Jervell, Herman Ruge (1996). From the axiom of choice to choice sequences. Nordic journal of philosophical logic. ISSN 0806-6205. 1(1), s 95- 98 Show summary
- Jervell, Herman Ruge (1996). Thoralf Skolem: Pioneer of computational Logic. Nordic journal of philosophical logic. ISSN 0806-6205. 1(2), s 107- 117 Show summary
- Jervell, Herman Ruge & Olsen, Kai A. (1985). Icons in man-machine communications. Behavior and Information Technology. ISSN 0144-929X. 4(3), s 249- 254 . doi: 10.1080/01449298508901805 Show summary
- Jervell, Herman Ruge & Olsen, Kai A. (1984). Computer and society. Computers & society. ISSN 0095-2737. 13(4), s 17- 21 . doi: 10.1145/379518.379523
- Jervell, Herman Ruge (2013). Modal logic. Logos Verlag Berlin. ISBN 978-3-8325-3302-1. 103 s.
- Jervell, Herman Ruge (2013). Proof Theory. Logos Verlag Berlin. ISBN 978-3-8325-3303-8. 129 s.
- Jervell, Herman Ruge (2012). Logic and computations. Logos Verlag Berlin. ISBN 978-3-8325-3090-7. 130 s.
- Jervell, Herman Ruge (2004). Formal logic. A guided tour. Unipub forlag. ISBN 82-7477-188-5. 194 s.
- Jervell, Herman Ruge (2002). Modal logikk. Unipub forlag. ISBN 82-7477-094-3. 145 s. Show summary
- Jervell, Herman Ruge (2001). Logikk og beregnbarhet. Unipub forlag. ISBN 82-7477-072-2. 169 s. Show summary
- Jervell, Herman Ruge & Olsen, Kai A. (1982). Hva datamaskiner ikke kan. Universitetsforlaget. ISBN 8200071405. 182 s.
- Jervell, Herman Ruge (2002). Hilbert, Borel og kampen om utvalgsaksiomet. Show summary
- Jervell, Herman Ruge (2002). Review: Alasdair Urquhart: The complexity of linear logic with weakening. Bulletin of Symbolic Logic. ISSN 1079-8986. 8, s 100- 101 Show summary
- Jervell, Herman Ruge (2002). The importance of indirect arguments. Show summary
- Jervell, Herman Ruge (2001). Abstractions and Metaphors on the Internet. Show summary
- Jervell, Herman Ruge (2001). How to wellorder finite trees. Show summary
- Jervell, Herman Ruge & Zhang, Wenhui (2001). Cut formulas for Kalmar elementary functions. Show summary
- Jervell, Herman Ruge (2000). Review "Helmut Schwichtenberg: Finite notations for infinite terms.". Bulletin of Symbolic Logic. ISSN 1079-8986. 6(4), s 477- 477 Show summary
- Jervell, Herman Ruge (1999). On the limitations of logic programming. Show summary
- Jervell, Herman Ruge (1995). Dynamic Datastructures. Show summary
- Jervell, Herman Ruge (1995). Informatikk som fag. Vitenskapsteoretisk belyst. Show summary
- Jervell, Herman Ruge & Olsen, Kai A. (1980). Hva datamaskiner ikke kan. Dagbladet. ISSN 0805-3766.
Published Nov. 4, 2010 2:00 PM
- Last modified Aug. 20, 2013 9:58 AM