Malcev, A I

Algorithms and recursive functions - NETHERLANDS WOLTERS-NOORDHOFF PUBLISHING GRONINGEN 1970 - 367 p p.

MATHEMATICS