Search results for: Richard Statman
Indagationes Mathematicae > 2018 > 29 > 1 > 450-458
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 40-54
Annals of Pure and Applied Logic > 2005 > 132 > 2-3 > 109-125