The TeX Catalogue Online

rec-thy

Commands to typeset recursion theory papers

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

The author is Peter M. Gerdes. The package is Copyright © 2010 Peter M. Gerdes.

License: pd Version: 1.3 Catalogued: 2015-08-03