Number of the records: 1

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction

SYSNO	0393022
Title	Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction
Author(s)	Pudlák, Pavel (MU-W)_{RID, SAI}
Issue data	Heidelberg: Springer, 2013
Issue	1.
Edition	Springer Monographs in Mathematics
ISBN	978-3-319-00118-0
ISSN	1439-7382
Document Type	Monografie, kniha (jako celek)
Grant	IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
Institutional support	MU-W - RVO:67985840
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	CH
Keywords	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
Permanent Link	http://hdl.handle.net/11104/0221789

Number of the records: 1