Recursive Functions and Metamathematics: Problems of Completeness and Decidabili
162,48 €
Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. This theory is first introduced and discussed. This text deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions.
Jetzt bei Ebay:
