Ackermann’s Function in Iterative Form: A Proof Assistant Experiment
-
Published:2021-09-27
Issue:
Volume:
Page:1-10
-
ISSN:1079-8986
-
Container-title:The Bulletin of Symbolic Logic
-
language:en
-
Short-container-title:Bull. symb. log
Publisher
Cambridge University Press (CUP)