Logikai szintaxis és szemantika 1-2. köt. - Ruzsa Imre (Akadémiai K., 1988)