Skip to content

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in
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

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$76.07
A$12.55 shipping to USA

Show Details

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.
Item Price
A$76.07
A$12.55 shipping to USA
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$185.99
FREE 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
A$185.99
FREE shipping to USA
Metamathematics, Machines and Godel's Proof: Cambridge Tracts in Theoretical Computer Science...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$281.84
A$22.74 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
A$281.84
A$22.74 shipping to USA