An intensional fixed point theory over first order arithmetic

TitleAn intensional fixed point theory over first order arithmetic
Publication TypeJournal Article
Year of Publication2004
AuthorsJäger, G
JournalAnnals of Pure and Applied Logic
Volume128
Pagination197-213
URLhttp://www.iam.unibe.ch/ltgpub/2004/jae04.pdf