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í.
| ISBN: | 80-200-1005-X |
|---|
| EAN: | 9788020010056 |
|---|
| Počet stran |
464 stran |
| Datum vydání |
7. 8. 2002 |
| Jazyk |
český |
| Autor: |
Vítězslav Švejdar |
| Nakladatelství |
Středisko společných činností AV ČR, v.v.i. - nakl. Academia |
Svaz českých knihkupců a nakladatelů