Recomienda este artículo a tus amigos:
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library Roman Murawski 1999 edition
Precio
$ 162,49
sin IVA
Pedido desde almacén remoto
Entrega prevista 16 - 27 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Roman Murawski
Añadir a tu lista de deseos de iMusic
También disponible como:
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.
395 pages, biography