A Machine Checked Proof that Ackermann's Function is not Primitive Recursive (1991)

View PDF

Download Links

by Nora Szasz
Venue:In Logical Environments, G. Huet
Citations:8 - 0 self