Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleACKERMANN'S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT.AuthorsPAULSON, LAWRENCE C.SubjectsMATHEMATICS; TURING machines; ROBINSON, Raphael; LOGIC; LEXICOGRAPHYPublicationBulletin of Symbolic Logic, 2021, Vol 27, Issue 4, p426ISSN1079-8986Publication typeArticleDOI10.1017/bsl.2021.47