Number of the records: 1

Metamathematics of First-Order Arithmetic

SYSNO	0501039
Title	Metamathematics of First-Order Arithmetic
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI} Pudlák, Pavel (MU-W)_{RID, SAI}
Issue data	Cambridge: Cambridge University Press, 2017
Edition	Perspectives in Logic
ISBN	978-1-107-16841-1
Document Type	Monografie, kniha (jako celek)
Institutional support	UIVT-O - RVO:67985807 ; MU-W - RVO:67985840
Language	eng
Country	GB
Keywords	Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Cooperating institutions	Matematický ústav AV ČR (Czech Republic)
Permanent Link	http://hdl.handle.net/11104/0293053

	File	Download	Size	Commentary	Version	Access
	0501039-titlist.pdf	8	138.3 KB	volne online	Publisher’s postprint	open-access

Number of the records: 1