Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Preface
1994
Olav GjelsvikHerman Ruge Jervell
Synthese 98/1
Reasoning in trees
1987
Herman Ruge Jervell
in: Mathematical logic and its applications, Dordrecht : Springer
