rec-thy.

Commands to typeset recursion theory papers.

Version: 1.3
Maintaner: Peter M. Gerdes
License: pd
Packaged on: 6/29/2012 10:00:06 PM
Number of files: 5
Size on disk: 278.55 kB

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