Logika formalna: Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki (Polish Edition)