References Browse

1957

1 reference published this year.

The axiomatization of arithmetic

Hao Wang (1957) · The Journal of Symbolic Logic

dr. heap is licensed under Creative Commons Attribution 4.0 International . Built with deskr 0.9.1.