현대대수학의 진리체계 - 한재영 (敎友社, 2005)