Zaklady matematicke logiky - HAJEK, P. (1965)