church thesis kosovsky nk ''elements mathematical logic application theory subrecursive algorithms'' lsu publ leningrad aa markov ''theory algorithms'' translated jacques j schorr kon pst staff imprint moscow academy sciences ussr ie jerusalem israel program scientific translations available office technical services us dept commerce washington description p nbsp nbsp cm added tp russian translation works mathematical institute academy sciences ussr v nbsp original title teoriya algerifmov qa dartmouth college library us dept commerce office technical
Formal science Computer science Algorithms