Počet záznamů: 1

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction

SYSNO	0393022
Název	Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI}
Vyd. údaje	Heidelberg: Springer, 2013
Vydání	1.
Edice	Springer Monographs in Mathematics
ISBN	978-3-319-00118-0
ISSN	1439-7382
Druh dok.	Monografie, kniha (jako celek)
Grant	IAA100190902 GA AV ČR - Akademie věd
Institucionální podpora	MU-W - RVO:67985840
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	mathematical logic * foundations of mathematics * set-theoretical foundations * incompleteness theorems
URL	http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
Trvalý link	http://hdl.handle.net/11104/0221789

Počet záznamů: 1