Description:
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)
Stock Photo: Cover May Be Different
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science) Hardcover - 1994
by Shankar, N
Details
- Title Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
- Author Shankar, N
- Binding Hardcover
- Edition First Edition
- Publisher Cambridge University Press, Cambridge
- Date 1994
- ISBN 9780521420273
More Copies for Sale
![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
by SHANKAR, N.
- Used
- Near Fine
- Hardcover
- Condition
- Used - Near Fine
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521420273 / 052142027x
- Quantity Available
- 1
- Seller
-
London, Ontario, Canada
- Item Price
-
SGD 68.76SGD 11.34 shipping to USA
Show Details
Item Price
SGD 68.76
SGD 11.34
shipping to 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)
Stock Photo: Cover May Be Different
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
by Shankar, N.
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521420273 / 052142027X
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
SGD 168.11FREE shipping to USA
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
SGD 168.11
FREE shipping to 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)
Stock Photo: Cover May Be Different
Metamathematics, Machines and Godel's Proof: Cambridge Tracts in Theoretical Computer Science No.38
by Shankar, Natarajan
- Used
- Very Good
- Hardcover
- first
- Condition
- Used - Very Good
- Edition
- First Edition
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521420273 / 052142027x
- Quantity Available
- 1
- Seller
-
Hygiene, Colorado, United States
- Item Price
-
SGD 254.74SGD 20.56 shipping to USA
Show Details
Description:
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.
Item Price
SGD 254.74
SGD 20.56
shipping to USA