Ilmu bilangan aksiomatis I / Wirasto. - Wirasto (FKIE - IKIP, 1972)