Yuri Manin,Neal Koblitz
Offers a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems.
Science,Mathematics,Philosophy,Logic,Philosophy
A Course In Mathematical Logic