Reflection Principles in Computational Logic (2000)

by J Barklund
Venue:Journal of Logic and Computation