0501039 - ÚI 2020 GB eng B - Monography
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
Institutional support: RVO:67985807 ; RVO:67985840
Keywords : Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
OECD category: Pure mathematics; Pure mathematics (MU-W)
Permanent Link: http://hdl.handle.net/11104/0293053
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
Institutional support: RVO:67985807 ; RVO:67985840
Keywords : Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
OECD category: Pure mathematics; Pure mathematics (MU-W)
Permanent Link: http://hdl.handle.net/11104/0293053