Number of the records: 1
Metamathematics of First-Order Arithmetic
- 1.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/0293053File Download Size Commentary Version Access 0501039-titlist.pdf 8 138.3 KB volne online Publisher’s postprint open-access
Number of the records: 1