Repository | Directory | Profile
Preface
1994
Olav GjelsvikHerman Ruge Jervell
Synthese 98/1
Reasoning in trees
1987
Herman Ruge Jervell
in: Mathematical logic and its applications, Dordrecht : Springer