Ir para o conteúdo

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

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

Metamathematics, Machines and Godel's Proof: Cambridge Tracts in
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
Muito Bom
ISBN 10
052142027X
ISBN 13
9780521420273
Livreiro
Avaliação do vendedor:
Este vendedor ganhou uma 5 de 5 estrelas de clientes da Biblio.
Hygiene, Colorado, United States
Preço do item
€ 175,25
Ou € 157,72 com a
Associação do Clube Bibliófilos
€ 14,14 Envio para USA
Entrega Padrão: 10 a 14 dias

Opções de envio

Formas de pagamento

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

Sobre este item

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.

Avaliações

(Entrar ou Criar uma conta primeiro!)

Você está avaliando o livro como uma obra não o vendedor ou a cópia específica que você comprou!

Detalhes

Livreiro
GlobalAcademics US (US)
Nº do estoque do livreiro
CS-17
Título
Metamathematics, Machines and Godel's Proof: Cambridge Tracts in Theoretical Computer Science No.38
Autor
Shankar, Natarajan
Formato/Encadernação
Capa dura
Estado do livro
Usado - Muito Bom
Edição
First Edition
ISBN 10
052142027X
ISBN 13
9780521420273
Editorial
Cambridge University Press
Local de publicação
Cambridge, MA.
Data de publicação
1994
Palavras-chave
Calculus, Physics, Logic, Philosophy, Church-Rosser, Language
Catálogos de livreiros
Computer Science; Mathematics;

Termos da venda

GlobalAcademics

Pre-Payment is required for All orders. All major credit cards are securely processed through Biblio.

We do Not accept any foreign or domestic checks, currency, bank drafts or transfers.

We are Not liable for Uninsured shipments. Shipping Insurance is optional and recommended for all orders. If you decline shipping insurance, all uninsured orders will be shipped at buyers' own risk.

For all orders over $50.00, buyers will be emailed a request for approval for optional USPS shipping insurance, plus any applicable additional shipping fees for heavy, over-sized, or multiple-item sets. All buyer approved insurance fees and/or additional shipping fees will be added to your current Biblio order total. We ship exclusively with United States Postal Service (USPS).

Refunds will be issued on a Per-Case basis and only if the item received is not as described. Please notify us Immediately in this event. Shipping fees are non-refundable.

Sobre o Vendedor

GlobalAcademics

Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Membro de Biblio desde 2004
Hygiene, Colorado

Sobre GlobalAcademics

Selling a 40+ years collection of fine quality used, rare, and out-of-print books encompassing a broad range of scholarly academic, technical, scientific, non-fiction, literary and general interest categories.
Our inventory is housed in a Clean, Smoke-Free environment.
We appreciate your business and welcome your inquiries.

Glossário

Alguns termos que podem ser usados ??nesta descrição incluem:

First Edition
In book collecting, the first edition is the earliest published form of a book. A book may have more than one first edition in...

Categorias deste livro

tracking-