The Oxford College of Science - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability		Add to Reading List Source URL: homepages.math.uic.edu Download Document from Source Website File Size: 2,10 MB Share Document on Facebook

	arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly DocID: 1sRZe - View Document
	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi DocID: 1rjEK - View Document
	Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract DocID: 1qlxM - View Document
	PDF Document DocID: 1pZ37 - View Document
	A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 DocID: 1pMn0 - View Document