Number of the records: 1
Metamathematics of First-Order Arithmetic
- 1.Hájek, P., Pudlák, P. Metamathematics of First-Order Arithmetic. Cambridge: Cambridge University Press, 2017. Perspectives in Logic. ISBN 978-1-107-16841-1. Available: doi: 10.1017/9781316717271
Number of the records: 1