Larsson, Jonas2008-08-112008-08-112003http://hdl.handle.net/2077/16009Finitism and symmetry: an inquiry into the basic notions of the Strong programmeText