Induction rules, reflection principles, and provably recursive functions
DSpace/Manakin Repository
Induction rules, reflection principles, and provably recursive functions
(1995) Logic Group Preprint Series, volume 146
(Preprint)
Download/Full Text
See more statistics about this item