Vvedenie v teoreticheskoe programmirovanie (besedy o metode). A. P. Ershov. Glavnaya redakcziya fiziko-matematicheskoj literatury izd-va «Nauka», M., 1977. Kniga predstavlyaet soboj czikl lekczij, napisannyx v vide besedy s chitatelem. Podrobno rassmatrivayutsya...