Attributes | Values |
---|
rdf:type
| |
Description
| - 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.
- 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. (en)
|
Title
| - Logical foundations of mathematics and computational complexity : a gentle introduction
- Logical foundations of mathematics and computational complexity : a gentle introduction (en)
|
skos:prefLabel
| - Logical foundations of mathematics and computational complexity : a gentle introduction
- Logical foundations of mathematics and computational complexity : a gentle introduction (en)
|
skos:notation
| - RIV/67985840:_____/13:00393022!RIV14-AV0-67985840
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - I, P(IAA100190902), Z(AV0Z10190503)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/67985840:_____/13:00393022
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - mathematical logic; foundations of mathematics; set-theoretical foundations; incompleteness theorems (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...vEdiceCisloSvazku
| - Springer Monographs in Mathematics
|
http://linked.open...i/riv/nazevZdroje
| - Logical foundations of mathematics and computational complexity : a gentle introduction
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...v/pocetStranKnihy
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://bibframe.org/vocab/doi
| - 10.1007/978-3-319-00119-7
|
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |