Natural numbers and forms of weak induction in applicative theories

TitleNatural numbers and forms of weak induction in applicative theories
Publication TypeTechnical Reports
Year of Publication1995
AuthorsKahle, R
URLhttp://www.iam.unibe.ch/ltgpub/1995/kah95.ps