2015
|
1. |
Jervell, Herman Ruge. Climbing Mount ε0. I: Gentzen's Centenary. Springer Publishing Company 2015 ISBN 978-3-319-10102-6. p. 301-315 UiO
Untitled
|
2013
|
2. |
Jervell, Herman Ruge. Modal logic. Logos Verlag Berlin 2013 (ISBN 978-3-8325-3302-1) 103 p. UiO
Untitled
|
|
3. |
Jervell, Herman Ruge. Proof Theory. Logos Verlag Berlin 2013 (ISBN 978-3-8325-3303-8) 129 p. UiO
Untitled
|
2012
|
4. |
Jervell, Herman Ruge. Logic and computations. Logos Verlag Berlin 2012 (ISBN 978-3-8325-3090-7) 130 p. UiO
Untitled
|
2009
|
5. |
Jervell, Herman Ruge. Kantiansk anskuelse og høyere aritmetikk. I: Enhet i mangfold. Festskrift i anledning Johan Arnt Myrstads 60-årsdag. Unipub forlag 2009 ISBN 9788230311790. p. 201-218 UiO
Untitled
|
2006
|
6. |
Jervell, Herman Ruge. Constructing ordinals. I: Constructivism: Mathematics, Logic, Philosophy and Linguistics. Paris: Éditions KIMÉ 2006 ISBN 2-84174-399-3. p. 5-20 UiO
Untitled
|
2005
|
7. |
Jervell, Herman Ruge. Finite trees as ordinals. I: New Computational Paradigms First Conference on Computability in Europe, CiE 2005. Springer 2005 ISBN 3-540-26179-6. p. 211-220 UiO
Untitled
|
|
8. |
Jervell, Herman Ruge. Finite trees as ordinals. Lecture Notes in Computer Science (LNCS) 2005 ;Volume 3526. UiO
Untitled
|
2004
|
9. |
Jervell, Herman Ruge. Formal logic. A guided tour. Unipub forlag 2004 (ISBN 82-7477-188-5) 194 p. UiO
Untitled
|
2003
|
10. |
Jervell, Herman Ruge. Appendix: Section 20.3 From a logical point of view. I: Econometrics and the Philosophy of Economics. Theory-Data Confrontations in Economics. Princeton University Press 2003 ISBN 0-691-11300-9. p. 520-524 UiO
Untitled
|
2002
|
11. |
Jervell, Herman Ruge. Hilbert, Borel og kampen om utvalgsaksiomet. Matematisk felleskollokvium; 2002-12-06 UiO
Untitled
|
|
12. |
Jervell, Herman Ruge. Modal logikk. Unipub forlag 2002 (ISBN 82-7477-094-3) 145 p. UiO
Untitled
|
|
13. |
Jervell, Herman Ruge. Review: Alasdair Urquhart: The complexity of linear logic with weakening. Bulletin of Symbolic Logic 2002 ;Volume 8. p. 100-101 UiO
Untitled
|
|
14. |
Jervell, Herman Ruge. The importance of indirect arguments. Nordiskt Filosofimøte; 2002-10-18 UiO
Untitled
|
2001
|
15. |
Jervell, Herman Ruge. Abstractions and Metaphors on the Internet. SSGRR 2001, International Conference on Advances in Infrastructure for Electronic Business, Science and education on the Internet; 2001-08-01 UiO
Untitled
|
|
16. |
Jervell, Herman Ruge. How to wellorder finite trees. : Institut Mittag-Leffler 2001 19 p. Report - Institut Mittag-Leffler UiO
Untitled
|
|
17. |
Jervell, Herman Ruge. Logikk og beregnbarhet. Unipub forlag 2001 (ISBN 82-7477-072-2) 169 p. UiO
Untitled
|
|
18. |
Jervell, Herman Ruge; Zhang, Wenhui. Cut formulas for Kalmar elementary functions. : Institut Mittag-Leffler 2001 7 p. Report - Institut Mittag-Leffler UiO
Untitled
|
2000
|
19. |
Jervell, Herman Ruge. Review "Helmut Schwichtenberg: Finite notations for infinite terms.". Bulletin of Symbolic Logic 2000 ;Volume 6.(4) p. 477-477 UiO
Untitled
|
1999
|
20. |
Jervell, Herman Ruge. Om det uendelige. Pascal som matematiker, logiker og fysiker. I: Endelighet og evighet. 15 essays om Blaise Pascal. Aschehoug & Co 1999 ISBN 82-03-18050-7. UiO
Untitled
|
|
21. |
Jervell, Herman Ruge. On the limitations of logic programming. ; 1999 UiO
Untitled
|
1996
|
22. |
Jervell, Herman Ruge. From the axiom of choice to choice sequences. Nordic Journal of Philosophical Logic 1996 ;Volume 1.(1) p. 95-98 UiO
Untitled
|
|
23. |
Jervell, Herman Ruge. Thoralf Skolem: Pioneer of computational Logic. Nordic Journal of Philosophical Logic 1996 ;Volume 1.(2) p. 107-117 UiO
Untitled
|
1995
|
24. |
Jervell, Herman Ruge. Dynamic Datastructures. International Congress of Logic, Methodology and Philosophy of Science; 1995-08-01 UiO
Untitled
|
|
25. |
Jervell, Herman Ruge. Informatikk som fag. Vitenskapsteoretisk belyst. Norsk Informatikkkonferanse NIK'95; 1995-11-01 UiO
Untitled
|
1985
|
26. |
Jervell, Herman Ruge; Olsen, Kai A.. Icons in man-machine communications. Behaviour and Information Technology 1985 ;Volume 4.(3) p. 249-254 UiT HIM
Untitled
|
1984
|
27. |
Jervell, Herman Ruge; Olsen, Kai A.. Computer and society. Computers & society 1984 ;Volume 13.(4) p. 17-21 UiT HIM
Untitled
|
1982
|
28. |
Jervell, Herman Ruge; Olsen, Kai A.. Hva datamaskiner ikke kan. Universitetsforlaget 1982 (ISBN 8200071405) 182 p. HIM UiO
Untitled
|
1980
|
29. |
Jervell, Herman Ruge; Olsen, Kai A.. Hva datamaskiner ikke kan. Dagbladet 1980 UiO HIM
Untitled
|