Metamathematics, Machines and Godel's Proof - Cambridge Tracts in Theoretical Computer Science - Shankar, N. (SRI International, USA) - Books - Cambridge University Press - 9780521585330 - January 30, 1997
In case cover and title do not match, the title is correct

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

Price
$ 69.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 4 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

220 pages, 4 b/w illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 30, 1997
ISBN13 9780521585330
Publishers Cambridge University Press
Pages 220
Dimensions 234 × 192 × 14 mm   ·   422 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

Mere med samme udgiver

See all of Shankar, N. (SRI International, USA) ( e.g. Paperback Book )