MoL-2007-13: Ansten Mørch Klev Extending Kleene's O Using Infinite Time Turing Machines 1.Full Text, 2.Abstract (RTF), 3.Abstract (TXT). < Back