METAMATHEMATICS, MACHINES AND GODEL'S PROOF by SHANKAR, N. (SRI INTERNATIONAL) ISBN 0521585333

From Student Book World

Contents 1 METAMATHEMATICS, MACHINES AND GODEL'S PROOF 1.1 Book Details 1.1.1 Images 1.1.2 Title 1.1.3 Author 1.1.4 ISBN 1.1.5 Published 1.1.6 Publisher 1.1.7 Binding 1.1.8 Retail Price 1.1.9 Typical Price Online 2 Buy Book Online

[edit] METAMATHEMATICS, MACHINES AND GODEL'S PROOF

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

[edit] Book Details

[edit] Images

[edit] Title

METAMATHEMATICS, MACHINES AND GODEL'S PROOF

[edit] Author

SHANKAR, N. (SRI INTERNATIONAL)

[edit] ISBN

0521585333

[edit] Published

30/01/1997

[edit] Publisher

Cambridge University Press

[edit] Binding

paperback

[edit] Retail Price

26.99 (GBP)

[edit] Typical Price Online

26.72 (GBP)

[edit] Buy Book Online

If you wish to purchase METAMATHEMATICS, MACHINES AND GODEL'S PROOF, written by SHANKAR, N. (SRI INTERNATIONAL) and published by Cambridge University Press on 30/01/1997 then we have listed a few select online book retailers who can provide good value and service.

	ISBN 0521585333 BUY NOW

This section is supported by pay as you go sim card providers; IDT Mobile, Nomi Mobile , Lebara Mobile and Planet Talk Instant Dial Service.