CTAN Comprehensive TeX Archive Network

Announcements for rec-thy

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.

Packagerec-thy
Version4.0 2024-03-29
Copyright2010–2024 Peter M. Gerdes
MaintainerPeter M. Gerdes

Atom Atom 1.0 feed with announcements for package rec-thy.
RSS RSS 2.0 feed with announcements for package rec-thy.

Guest Book Sitemap Contact Contact Author