The Gödel Hierarchy and Reverse Mathematics (2008)

by Stephen G. Simpson
Citations:4 - 4 self