Mathematical Logic. Introduction. By Vilnis Detlovs and