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í.
Tento web využívá Cooikes pro:
a) nezbytné cookies pro správný chod webu (řazení knih, vkládání knih do oblíbené atd.)
b) anonymní vyhodnocování návštěvnosti (Google analytics)
Natavené Cooikes:
a) nezbytné cookies pro správný chod webu (řazení knih, vkládání knih do oblíbené atd.)
b) anonymní vyhodnocování návštěvnosti (Google analytics)