OBSAH // Předmluva... 5 // Kapitola I. Mechanická práce se znaky... 7 // 1. Abeceda, slova... 7 // 2. Mechanicky počitatelné funkce...14 // 3. Primitivně rekurzivní a programově počitatelné funkce...27 // 4. Kalkuly...58 // Kapitola II. Jazyk matematických teorií...66 // 1. Výrokový kalkul... 66 // 2. Predikátový kalkul...83 // 3. Axiomatická teorie...106 // Kapitola III. Teorie přirozených čísel...118 // 1. Jazyk Peanovy aritmetiky ...119 // 2. Peanovy axiomy...130 // 3. Uspořádání přirozených čísel. Dělitelnost...139 // 4. Operace definované v Peanově aritmetice...148 // 5. Mechanická rozhodnutelnost některých formulí Peanovy aritmetiky . 157 // Kapitola IV. Teorie množin...169 // 1. Teorie tříd... 170 // 2. Relace a funkce v teorii tříd...177 // 3. Základní teorie množin...188 // 4. Konečné množiny v základní teorii...147 // 5. Přirozená čísla v teorii množin...202 // 6. Teorie konečných množin...213 // Rejstřík...216