.

0 (hodnocen0 x )

(3) Půjčeno:6x 

BK

Příručka

Vyd. 1.

V Praze : Karolinum, 2011

363 s. : il. ; 23 cm

ISBN 978-80-246-1959-0 (brož.)

Obsahuje bibliografii na s. 349-353, bibliografické odkazy a rejstříky

Vydavatel: Univerzita Karlova v Praze

000228164

I. Výrokový počet -- §1 Základy výrokového počtu -- §2 Další logické operace výrokového počtu -- §3 Dodatek k výrokovému počtu -- II. Predikátový počet -- §1 Sylogismy -- §2 Základy predikátového počtu -- §3 Dodatek k predikátovému počtu -- III. Dokazatelnost a nedokazatelnost -- §1 Dokazatelnost v aritmetice, modely aritmetiky -- §2 Věty o neúplnosti -- §3 Dodatek o teoriích -- Závěr -- §1 Jediná logika? -- §2 Dodatek o kořenech logiky

(OCoLC)746836423

cnb002188615