Matematická logika
- 174 stránok
- 7 hodin čítania
Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu.

Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu.