Return to Article Details Finite alogorithmic procedures and inductive definability. Download Download PDF