A note on a formalized arithmetic with function symbols and (1978)

by T Yukami
Venue:Tsukuba Journal of Mathematics