Počet záznamů: 1

Metamathematics of First-Order Arithmetic

SYSNO	0501039
Název	Metamathematics of First-Order Arithmetic
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI} Pudlák, Pavel (MU-W)_{RID, SAI}
Vyd. údaje	Cambridge: Cambridge University Press, 2017
Edice	Perspectives in Logic
ISBN	978-1-107-16841-1
Druh dok.	Monografie, kniha (jako celek)
Institucionální podpora	UIVT-O - RVO:67985807 ; MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Spolupracující instituce	Matematický ústav AV ČR (Česká republika)
Trvalý link	http://hdl.handle.net/11104/0293053

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0501039-titlist.pdf	8	138.3 KB	volne online	Vydavatelský postprint	povolen

Počet záznamů: 1