Version:
2.4.3
Copyright:
Peter M. Gerdes
License:
pd
Packaged on:
12/3/2018 9:11:12 PM
Number of files:
5
Size on disk:
178.33 kB

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