Reverse mathematics 2001de Stephen G. SimpsonMateriasReverse mathematicsMathematicsMathématiques à reboursMathématique à reboursEdiciones (1)Reverse mathematics 2001 (2005)A K Peters, Ltd. · inglésMás obras de Stephen G. SimpsonKurt GödelReverse Mathematics 2001 (Lecture Notes in Logic) (Lecture Notes in Logic)2005Subsystems of second-order arithmetic1999Ver todas las obras de Stephen G. Simpson →