Login / Signup

Ackermann's substitution method (remixed).

Georg Moser
Published in: Ann. Pure Appl. Log. (2006)
Keyphrases