Clemens Grabmayer (grabmayer-c)

Contributions to Philosophie.ch

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.