4.3.2.
A klasszikus predikátumlogika nyelvének eszközei

Kérdések, feladatok