Počet záznamů: 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. Dostupné z: https://doi.org/10.1017/9781316717271
Počet záznamů: 1