Frete Grátis
  • Google Plus

Dover Books On Mathematics - Popular Lectures On Mathematical Logic (Cód: 9350988)

Wang, Hao

Dover Publications-Id

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 47,10
Cartão Saraiva R$ 44,75 (-5%) em até 1x no cartão ou em até 2x de R$ 23,55 sem juros
Grátis

Cartão Saraiva
Quer comprar em uma loja física? Veja a disponibilidade deste produto
?

Entregas internacionais: Consulte prazos e valores de entrega para regiões fora do Brasil na página do Carrinho.

ou receba na loja com frete grátis

X

* Válido para compras efetuadas em dias úteis até às 18:00, horário de Brasília, com cartão de crédito e aprovadas na primeira tentativa.

Formas de envio Custo Entrega estimada
X Consulte as lojas participantes

Saraiva MegaStore Shopping Eldorado Av. Rebouças, 3970 - 1º piso - Pinheiros CEP: 05402-600 - São Paulo - SP

Descrição

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Godel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.' A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Godel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.Dover (2014) republication of the edition published by Van Nostrand Reinhold, New York, in 1981, and reissued by Dover in 1993 with a new Postscript by the author.See every Dover book in print atwww.doverpublications.com '

Características

Produto sob encomenda Sim
Marca Dover Publications-Id
Cód. Barras 9780486676326
Altura 21.51 cm
I.S.B.N. 9780486676326
Profundidade 1.47 cm
Referência 000235570
Acabamento Brochura
Ano da edição 2014
Idioma Inglês
Número de Páginas 288
Peso 0.32 Kg
Largura 13.64 cm
AutorWang, Hao

Avaliações

Avaliação geral: 0

Você está revisando: Dover Books On Mathematics - Popular Lectures On Mathematical Logic

Dover Books On Mathematics - Popular Lectures On Mathematical Logic (Cód: 9350988) Dover Books On Mathematics - Popular Lectures On M... (Cód: 9350988)
R$ 47,10
Dover Books On Mathematics - Popular Lectures On Mathematical Logic (Cód: 9350988) Dover Books On Mathematics - Popular Lectures On M... (Cód: 9350988)
R$ 47,10