The TeX Catalogue Online

rec-thy

Commands to typeset recursion theory papers

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

License: pd Version: 2.1 Catalogued: 2017-10-05