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: 1.3 Catalogued: 2016-06-24