PP-2017-10: Lorenzo Galeotti, Benedikt Löwe Order types of models of reducts of Peano Arithmetic and their fragments 1.Full Text, 2.Abstract. < Back
