7.4. Az ítéletkalkulus: egy nagyon egyszerű logika

7.4.1. Érvényes állítás, vagy sem? (BME)

Sikertelen importálás: 7.4.1.felmeg-log-1-db42.xml