What Can Be Computed?: A Practical Guide to the Theory of Computation by John MacCormick English | May 1, 2018 | ISBN: 0691170665 | PDF | 408 pages | 4.9 MB
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science) By D. A. Wolfram Publisher: Cambridge University Press 2009 | 136 Pages | ISBN: 0521117909 , 0521395380 | PDF | 3 MB