Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-29 of 29

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