Vertel uw vrienden over dit artikel:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Roman Murawski Softcover reprint of hardcover 1st ed. 1999 edition
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library
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.
407 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 6 december 2010 |
| ISBN13 | 9789048152988 |
| Uitgevers | Springer |
| Pagina's | 395 |
| Afmetingen | 155 × 235 × 21 mm · 566 g |
Meer door Roman Murawski
Alles tonenBekijk alles van Roman Murawski ( bijv. Hardcover Book en Paperback Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld