![](/img/cover-not-exists.png)
Metamathematics of First-Order Arithmetic || Bibliographical Remarks and Further Reading
Hajek, Petr, Pudlak, PavelVolume:
10.1017/97
Year:
2016
Language:
english
DOI:
10.1017/9781316717271.010
File:
PDF, 774 KB
english, 2016