About: Logical foundations of mathematics and computational complexity : a gentle introduction     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • 85290
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
  • [D4B036FC9C04]
http://linked.open...i/riv/mistoVydani
  • Heidelberg
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
  • Pudlák, Pavel
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
  • Springer-Verlag
https://schema.org/isbn
  • 978-3-319-00118-0
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software