Recursion Theory for Metamathematics - Oxford Logic Guides - Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University) - Livros - Oxford University Press Inc - 9780195082326 - 15 de julho de 1993
Caso a capa e o título não sejam correspondentes, considere o título como correto

Recursion Theory for Metamathematics - Oxford Logic Guides

Preço
R$ 1.685,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de set - 8 de out
Receba avisos sobre novos lançamentos de Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 15 de julho de 1993
ISBN13 9780195082326
Editoras Oxford University Press Inc
Páginas 184
Dimensões 242 × 163 × 17 mm   ·   422 g
Idioma Inglês  

Mais da mesma editora