Počet záznamů: 1
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction
- 1.
SYSNO ASEP 0393022 Druh ASEP B - Monografie Zařazení RIV B - Odborná monografie, kniha 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 ISBN 978-3-319-00118-0 ISSN 1439-7382 Edice Springer Monographs in Mathematics Poč.str. 695 s. Poč.výt. 500 Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Vydání 1. Klíč. slova mathematical logic ; foundations of mathematics ; set-theoretical foundations ; incompleteness theorems Vědní obor RIV BA - Obecná matematika CEP IAA100190902 GA AV ČR - Akademie věd Institucionální podpora MU-W - RVO:67985840 CEZ AV0Z10190503 - MU-W (2005-2011) DOI 10.1007/978-3-319-00119-7 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2014
Počet záznamů: 1