Logical foundations of mathematics and computational complexity : a gentle introduction

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F13%3A00393022" target="_blank" >RIV/67985840:_____/13:00393022 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-00119-7" target="_blank" >http://dx.doi.org/10.1007/978-3-319-00119-7</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-00119-7" target="_blank" >10.1007/978-3-319-00119-7</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Logical foundations of mathematics and computational complexity : a gentle introduction

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Logical foundations of mathematics and computational complexity : a gentle introduction

Popis výsledku anglicky

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.

Druh

B - Odborná kniha

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA100190902" target="_blank" >IAA100190902: Matematická logika, složitost a algoritmy</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-3-319-00118-0

Počet stran knihy

695

Název nakladatele

Springer

Místo vydání

Heidelberg

Kód UT WoS knihy

—