The Gödel Hierarchy and Reverse Mathematics (2008)

by Stephen G. Simpson
Citations:5 - 4 self