Metamathematics, Machines and Godel's Proof
de Shankar, N
Ejemplares disponibles
Metamathematics, Machines and Godel's Proof: Cambridge Tracts in Theoretical Computer Science No.38
de Shankar, Natarajan
- Estado
- Usado - Very Good
- Edición
- First Edition
- Published
- 1994
- Encuadernación
- Hardcover
- ISBN
- 9780521420273
- Cantidad disponible
- 1
- Librería
-
Hygiene, Colorado, USA
- Precio
-
EUR 172.88
Mostrar detalles
Descripción:
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… Saber más sobre este artículo Precio
EUR 172.88
Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science)
de Shankar, N
- Estado
- New
- Published
- 1997-01-01
- Encuadernación
- Paperback
- ISBN
- 9780521585330
- Cantidad disponible
- 1
- Librería
-
San Diego, California, USA
- Precio
-
EUR 111.41
Mostrar detalles
Descripción:
Cambridge University Press, 1997-01-01. Paperback. New. New. In shrink wrap. Looks like an interesting title! Precio
EUR 111.41