An edition of Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science) (1997)

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science) by N. Shankar
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 5, 2021 | History
Edit
An edition of Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science) (1997)

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
218

Check nearby libraries

Buy this book

Subjects
Goedel's theorem, Computer science, Automatic theorem proving

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
March 28, 1997, Cambridge University Press
Paperback in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

First Sentence

"Very few mathematical statements can be judged to be true or false solely by means of direct observation."

The Physical Object

Format
Paperback
Number of pages
218
Dimensions
9.1 x 7.5 x 0.4 inches
Weight
13.8 ounces

ID Numbers

Open Library
OL7747234M
ISBN 10
0521585333
ISBN 13
9780521585330
Library Thing
850742
Goodreads
61193

Source records

Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 5, 2021 Edited by ImportBot import existing book
August 6, 2010 Edited by IdentifierBot added LibraryThing ID
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
April 29, 2008 Created by an anonymous user Imported from amazon.com record