Logika - neúplnost, složitost a nutnost

https://www.databazeknih.cz/img/books/44_/449023/bmid_logika-neuplnost-slozitost-a-nutnos-wDS-449023.jpg 0 0 0

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í.... celý text