| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht, the Netherlands |
| Publisher | Logic Group, Department of Philosophy, Universiteit Utrecht |
| Publication status | Published - 2009 |
On the termination of Russell's description elimination algorithm
C.A. Grabmayer, J Leo, V. van Oostrom, A. Visser
Research output: Book/Report › Report › Professional