Ir para o conteúdo

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in
Foto de Stock: A capa pode ser diferente.

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science) Capa dura - 1994

por Shankar, N

Detalhes

  • Título Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
  • Autor Shankar, N
  • Encadernação Capa dura
  • Edição First Edition
  • Editorial Cambridge University Press, Cambridge
  • Data de publicação 1994
  • ISBN 9780521420273

Mais exemplares à venda

Metamathematics, Machines, and Gödel's Proof

Metamathematics, Machines, and Gödel's Proof

por SHANKAR, N.

  • Usado
  • Perto de Excelente
  • Capa dura
Condição
Usado - Perto de Excelente
Encadernação
Hardcover
ISBN 10 / ISBN 13
9780521420273 / 052142027x
Quantidade Disponível
1
Livreiro
London, Ontario, Canada
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 47,30
€ 7,80 frete para USA

Mostrar detalhes

Descrição:
Cambridge University Press, 1994. Hardcover. Near fine. Cambridge Tracts in Theoretical Computer Science 38. xv, 202 p. 26 cm. Ink signature on first leaf.
Preço do item
€ 47,30
€ 7,80 frete para USA
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science,...
Foto de Stock: A capa pode ser diferente.

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)

por Shankar, N.

  • Usado
  • Bom
  • Capa dura
Condição
Usado - Bom
Encadernação
Hardcover
ISBN 10 / ISBN 13
9780521420273 / 052142027X
Quantidade Disponível
1
Livreiro
Newport Coast, California, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 115,65
Frete grátis para USA

Mostrar detalhes

Descrição:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Preço do item
€ 115,65
Frete grátis para USA
Metamathematics, Machines and Godel's Proof: Cambridge Tracts in Theoretical Computer Science...
Foto de Stock: A capa pode ser diferente.

Metamathematics, Machines and Godel's Proof: Cambridge Tracts in Theoretical Computer Science No.38

por Shankar, Natarajan

  • Usado
  • Muito Bom
  • Capa dura
  • first
Condição
Usado - Muito Bom
Edição
First Edition
Encadernação
Hardcover
ISBN 10 / ISBN 13
9780521420273 / 052142027x
Quantidade Disponível
1
Livreiro
Hygiene, Colorado, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 175,25
€ 14,14 frete para USA

Mostrar detalhes

Descrição:
Cambridge, MA.: Cambridge University Press , 1994. Text deals with the interactions between logic and computing, primarily how computers can be used to construct and check mathematical proofs. Describes the use of the Boyer-Moore theorem prover in verifying proofs of Godel's first incompleteness theorem, the Church-Rosser theorem of the lambda calculus, etc. he computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanization of metamathematics itself has important implications for automated reasoning, because metatheorems can be applied as labor-saving devices to simplify proof construction. 202 pp.. First Edition. Hard Cover. Very Good. 8vo - over 7¾" - 9¾" tall.
Preço do item
€ 175,25
€ 14,14 frete para USA