The Predicative Frege Hierarchy (2006)

by Albert Visser
Citations:2 - 0 self