Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 04.06.2022. Zobrazit aktuální podobu v katalogu.

Bibliografická citace

.
0 (hodnocen0 x )
(3) Půjčeno:3x 
BK
Mineola : Dover Publications, 2014
iii, 284 s. : il. ; 24 cm

objednat
ISBN 978-0-486-49237-7 (brož.) ISBN !0-486-49237-0 (chyb.)
Obsahuje bibliografii na s. 263-264 a rejstřík
000250336
Table of Contents // Part I General Background // Chapter 1 Genesis 3 // Chapter 2 Infinite Sets 17 // Chapter 3 Some Problems Arise! 29 // Chapter 4 Further Background 37 // Part II Propositional Logic // Chapter 5 Beginning Propositional Logic 61 // Chapter 6 Propositional Tableaux 81 // Chapter 7 Axiomatic Propositional Logic 101 // Part III First-Order Logic // Chapter 8 Beginning First-Order Logic 133 // Chapter 9 First-Order Logic: Main Topics 149 // Part IV The Incompleteness Phenomenon // Chapter 10 Incompleteness in a General Setting 171 // Chapter 11 Elementary Arithmetic 191 // Chapter 12 Formal Systems 219 // Chapter 13 Peano Arithmetic 235 // Chapter 14 Further Topics 251 // References 263 // Index 265 // iii

Zvolte formát: Standardní formát Katalogizační záznam Zkrácený záznam S textovými návěštími S kódy polí MARC