Classifying the provably total functions of PA

A. Weiermann

Research output: Contribution to journal › Article › Academic › peer-review

Keywords

@article{241a1af6c4f34e96affa7958bf0b3012,

title = "Classifying the provably total functions of PA",

keywords = "Mathematics, Landbouwwetenschappen, Natuurwetenschappen, Wiskunde: algemeen",

author = "A. Weiermann",

year = "2006",

language = "Undefined/Unknown",

volume = "12",

pages = "177--190",

journal = "Bulletin of Symbolic Logic",

publisher = "Cambridge University Press",

number = "2",

}