You are about to access our book library "Handbook of Recursive Mathematics: Volume 1; Recursive Model Theory. Studies in Logic and the Foundations of Mathematics, Volume 138. full version" .