Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Leo, Joop
Volume
Title
331
Coordinate-free logic
Leo, Joop
307
A logic of natural relations
Leo, Joop
285
Relational complexes
Leo, Joop
280
On the termination of Russel’s description elimination algorithm
Grabmayer, C.A.
|
Leo, Joop
|
Oostrom, V. van
|
Visser, Albert
248
A quest for canonical positional models
Leo, Joop
244
Modeling relations
Leo, Joop