nLab
halting theorem

Created on March 4, 2014 06:26:57 by Urs Schreiber (89.204.137.33)