
Conte aos seus amigos sobre este item:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 1999 edition
Roman Murawski
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 1999 edition
Roman Murawski
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.
395 pages, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 30 de setembro de 1999 |
ISBN13 | 9780792359043 |
Editoras | Springer |
Páginas | 395 |
Dimensões | 156 × 234 × 23 mm · 757 g |
Idioma | English |
Mais por Roman Murawski
Ver tudo de Roman Murawski ( por exemplo Hardcover Book e Paperback Book )