Unfolding finitist arithmetic (2010)

by Solomon Feferman , Thomas Strahm
Citations:3 - 3 self