Frohe Weihnachten und wunderbare Buchmomente!

Bookbot
1/3

Logika: Neúplnost, složitost a nutnost

Autoren

Mehr zum Buch

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í.

Parameter

ISBN
9788020010056
Verlag
Academia

Kategorien

Publikation

2002

Buchkauf

Wir benachrichtigen dich per E-Mail.