Goodsteini teoreemist
Buldas, Ahto
Arvutustehnika ja Andmetöötlus
1995
/
4, lk. 2-6