- 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).