1. Bevezető

2. A matematikai fogalmakról

3. Az extenzionális logika
3.1. Az állításlogika
3.2. Az elsőrendű logika
3.3. A magasabb rendű logikákról
3.4. A többértékű logika

4. A leíró logika

5. Az intenzionális logika
5.1. Modális logika

6. Helyzetképelmélet

7. Logikai modellek az információ-visszakeresésben

8. Összefoglaló