Metamathematics, Machines and Godel's Proof - Cambridge Tracts in Theoretical Computer Science - Shankar, N. (SRI International, USA) - Libros - Cambridge University Press - 9780521585330 - 30 de enero de 1997
En caso de que portada y título no coincidan, el título será el correcto

Shankar, N. (SRI International, USA)
Metamathematics, Machines and Godel's Proof - Cambridge Tracts in Theoretical Computer Science

Precio
$ 69,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Describes the use of computer programs to check several proofs in the foundations of mathematics.

220 pages, 4 b/w illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de enero de 1997
ISBN13 9780521585330
Editores Cambridge University Press
Páginas 220
Dimensiones 234 × 192 × 14 mm   ·   422 g
Lengua Inglés  
Editor de series Abramsky, S.
Editor de series Aczel, P. H.
Editor de series Bakker, J. W. De
Editor de series Gurevich, Y.
Editor de series Tucker, J. V.
Editor de series Van Rijsbergen, C. J.

Mere med samme udgiver

Ver todo de Shankar, N. (SRI International, USA) ( Ej. Paperback Book )