The Strength of Replacement in Weak Arithmetic (2003)

by Stephen Cook , Neil Thapen
Citations:11 - 3 self