Logical number theory I (1991)

by C Smorynski