Bookbot

Logika: Neúplnost, složitost a nutnost

Más información sobre el libro

Učebnice logiky, která vede čtenáře od výrokové logiky přes predikátovou logiku k metamatematice aritmetiky, autoreferenci a (některým) neklasickým logikám. Důraz je položen na ty části logiky, jejichž výzkum má v Praze či ve střední Evropě dobrou tradici, tj. na souvislosti logiky a teoretické informatiky a na problematiku Gödelových vět o neúplnosti a jejich okolí.

Compra de libros

Logika: Neúplnost, složitost a nutnost, Vítězslav Švejdar

Idioma
Publicado en
2002
product-detail.submit-box.info.binding
(Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña