Number of the records: 1
Metamathematics of First-Order Arithmetic
- 1.Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
OECD category: Pure mathematics
http://hdl.handle.net/11104/0293053
Number of the records: 1