Počet záznamů: 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
Obor OECD: Pure mathematics
http://hdl.handle.net/11104/0293053
Počet záznamů: 1