Title: Contributions to the metamathematics of arithmetic : fixed points, independence, and flexibility /
Authors: Blanck, Rasmus, 1982-
Year: 2017
Subjects: Metamathematics; Arithmetic; Mathematics Philosophy