PP-2012-07: Jouko Väänänen, Tong Wang Internal Categoricity in Arithmetic and Set Theory 1.Full Text, 2.Abstract. < Back
