Comprehensive TeX Archive Network

rec-thy – Commands to typeset recursion theory papers

The pack­age pro­vides many macros to ex­press stan­dard no­ta­tion in re­cur­sion the­ory (oth­er­wise known as com­putabil­ity the­ory).

Sources /macros/latex/contrib/rec-thy
Ver­sion 1.3
Li­cense Public Do­main Soft­ware
Main­tainer Peter M. Gerdes
Con­tained in TeX Live as rec-thy
MiKTeX as rec-thy
Topics sup­port for type­set­ting math­e­mat­ics

Down­load the con­tents of this pack­age in one zip archive (224.0k).


Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author