Number of the records: 1

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction

SYSNO ASEP	0393022
Document Type	B - Monograph
R&D Document Type	Monograph
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
ISBN	978-3-319-00118-0
ISSN	1439-7382
Series	Springer Monographs in Mathematics
Number of pages	695 s.
Number of copy	500
Publication form	Print - P
Language	eng - English
Country	CH - Switzerland
Issue	1.
Keywords	mathematical logic ; foundations of mathematics ; set-theoretical foundations ; incompleteness theorems
Subject RIV	BA - General Mathematics
R&D Projects	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)
DOI	10.1007/978-3-319-00119-7
Annotation	The two main themes of the book, logic and complexity, are connected by both being important for understanding the main problems about the foundations of mathematics. The book covers a broad spectrum of results in logic and set theory that are relevant to foundations, as well as results in computational complexity and the interdisciplinary area of proof complexity. The author also presents his ideas on how these areas are connected, what are the most fundamental problems and how should be approached.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2014

Number of the records: 1