| Bevezetés | 1 |
| Termék, formulák és mondatok | 2 |
| A formális kijelentések szemléletes bevezetése | 2 |
| A logikai formulafogalom formális definiciója | 4 |
| További fontos fogalmak | 6 |
| Szemantika: modell, kielégíthetőség, igazság | 8 |
| Az igazság fogalmának szemléletes bevezetése | 8 |
| Az igazság formális definiciója | 10 |
| További fontos fogalmak és tények | 14 |
| Szintaktika: axióma, bizonyítás, tétel | 16 |
| A bizonyíthatóság fogalmának szemléletes bevezetése | 16 |
| A bizonyíthatóság fogalmának egy lehetséges formális definiciója | 18 |
| További fontos fogalmak és tények | 20 |
| A kompaktsági tétel | 23 |
| Teljes elméletek és modelljeik | 30 |
| Eldönthetőség | 30 |
| Elemi ekvivalencia és izomorfizmus | 37 |
| Teljesség és elemi ekvivalencia, függetlenség | 40 |
| Az egész számok rendezett halmazának elmélete | 45 |
| Egyéb rendezések | 48 |
| Részmodellek | 56 |
| Alapfogalmak | 56 |
| Elemi részmodell | 63 |
| A Herbrand tétel | 64 |
| Elemi játékok | 71 |
| m-elemi ekvivalencia | 71 |
| m-elemi játék | 76 |
| Rendezések elemi ekvivalenciája | 82 |
| Kategoricitás | 87 |
| kategórikus elméletek | 87 |
| Ciklusmentes permutációk | 91 |
| Függelék. A halmazelmélet axiomatikus felépítésének vázlata | 100 |
| Feladatok megoldása | 106 |
| Bevezetés | 106 |
| 1. fejezet | 109 |
| 2. fejezet | 111 |
| 3. fejezet | 117 |
| 4. fejezet | 119 |
| 5. fejezet | 129 |
| Tárgymutató | 132 |
| Fontosabb jelölések | 143 |
Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.
Folytatás Microsoft-tal