Date: 2012-11-16 09:11:59Computability theory Mathematical logic Mathematics Theoretical computer science Primitive recursive function Primitive recursive arithmetic ELEMENTARY Reverse mathematics Pairing function Ackermann function Sequence Recursion | | Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source Website File Size: 213,62 KBShare Document on Facebook
|