Rasmus Blanck

1982

• Contributions to the metamathematics of arithmetic