9.1. Következtetés ítéletkalkulusban és következtetés elsőrendű logikában

9.1.1. Kijelentés egzisztenciális súlya (BME)

Sikertelen importálás: 9.1.1.fog-egzisztencialis-suly-db42.xml