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