Nagyításhoz kattintson a képre!
Bach Iván könyve azoknak szól, akik programnyelvekkel foglalkoznak, de segít azoknak is, akik a természetes nyelv, a matematikai logika, a gépelemzés terén formális eszközökkel akarják megfogalmazni kérdéseiket és kijelentéseiket.