Version:
3.01
Copyright:
Peter M. Gerdes
License:
pd
Packaged on:
2/18/2019 9:12:03 PM
Number of files:
5
Size on disk:
249.22 kB

The package provides many macros to express standard notation in recursion theory (otherwise known as computability theory).