voved vo teorijata na mno@estvata i matemati^kata logika

2.11.1. Ve`bi 81
2.12. Lemata na Corn i nejzini ekvivalenti 81
2.13. Dobro podredeni mno`estva 83
2.14. Ordinalni broevi 85
3. VOVED VO MATEMATI^KATA LOGIKA 87
3.1. Formalni teorii 87
3.1.1. Ve`bi 89
3.2. Iskazno smetawe 90
3.2.1. Ve`bi 98
3.3. Drugi aksiomatizacii na iskaznoto smetawe 99
3.4. Teorija na kvantifikatori 100
3.5. Vistinitosni vrednosti na formuli. Modeli.
Logi~ki to~ni formuli 105
3.5.1. Ve`bi 106
3.6. Jazici od prv red 106
3.7. Svojstva na jazicite od prv red 108
INDEKS 111
LITERATURA 115
4