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: lppl Version: 1.2 Catalogued: 2011-01-02
Visit
Visit Dante:/macros/latex/contrib/rec-thy
Download
Documentation
Package documentation: rec-thy.pdf.
Distributions
This package is included in MikTeX.