CTAN Comprehensive TeX Archive Network

rec-thy – Commands to typeset recursion theory papers

This package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.

Sources/macros/latex/contrib/rec-thy
Documentation
Repositoryhttps://github.com/TruePath/Recursion-Theory-Latex-Package
Version4.0 2024-03-29
LicensesPublic Domain Software
Copyright2010–2024 Peter M. Gerdes
MaintainerPeter M. Gerdes
Contained inTeX Live as rec-thy
MiKTeX as rec-thy
TopicsMaths
Experimental 3

Download the contents of this package in one zip archive (141.8k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Package Links

Guest Book Sitemap Contact Contact Author