Smorynski C.

Logical number Theory 1 - Америк Springer-Verlag 1991 - 405

3540522360 0387522360

mathematics arithmetic encoding diophantine encoding