Vincent Van Oostrom

Bibliography

Grabmayer, Clemens, Leo, Joop, Van Oostrom, Vincent and Visser, Albert. 2011. “On the Termination of Russell’s Description Elimination Algorithm.” The Review of Symbolic Logic 4(3): 367–393.