Metamathematics of First-Order Arithmetic

0501039 - ÚI 2020 GB eng B - Monografie kniha jako celek
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
Institucionální podpora: RVO:67985807 ; RVO:67985840
Klíčová slova: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Obor OECD: Pure mathematics; Pure mathematics (MU-W)
Trvalý link: http://hdl.handle.net/11104/0293053