Recursion Theory for Metamathematics - Oxford Logic Guides - Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University) - Libros - Oxford University Press Inc - 9780195082326 - 15 de julio de 1993
En caso de que portada y título no coincidan, el título será el correcto

Recursion Theory for Metamathematics - Oxford Logic Guides

Precio
$ 297,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 9 de jul.
Añadir a tu lista de deseos de iMusic

In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).


178 pages, bibliography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 15 de julio de 1993
ISBN13 9780195082326
Editores Oxford University Press Inc
Páginas 184
Dimensiones 242 × 163 × 17 mm   ·   422 g
Lengua Inglés  

Mere med samme udgiver