On the strength of some semi-constructive theories (2009)

by Solomon Feferman
Citations:1 - 1 self