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.
![Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in](https://d3525k1ryd2155.cloudfront.net/f/273/420/9780521420273.OL.0.m.jpg)
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](https://d3525k1ryd2155.cloudfront.net/h/288/280/1442280288.0.m.jpg)
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
- Preço do item
-
€ 47,30€ 7,80 frete para USA
Mostrar detalhes
Preço do item
€ 47,30
€ 7,80
frete para USA
![Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science,...](https://d3525k1ryd2155.cloudfront.net/f/273/420/9780521420273.OL.0.m.jpg)
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
- Preço do item
-
€ 115,65Frete 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...](https://d3525k1ryd2155.cloudfront.net/f/273/420/9780521420273.OL.0.m.jpg)
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
- 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