Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Rippling

Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Our rough guess is there are 54,000 words in this book.

At a pace averaging 250 words per minute, this book will take 3 hours and 36 minutes to read. With a half hour per day, this will take 7 days to read.

How long will it take you?

Enter your reading speed

You can take one of our WPM reading speed tests to find your reading speed.

Get it on Amazon Buy on Bookshop.org

We earn a commission on purchases

Author

Publication

2005-08-08 - Cambridge University Press

Language

English

Word Count

54,000 words, Guess

Page Count

216 pages

Physical Format

Hardcover

Identifiers

Open LibraryOL7765773M
ISBN-139780521834490
ISBN-10052183449X
OCLC Control Number55682394
Library of Congress Control Number2004051866

and 2 more

LibraryThing2248707
Goodreads2063859

Classifications

LCCQA76.9.A96 B84 2005

Subjects

Topics

General Computers Mathematical logic Computers / General Computer Books: General Automatic theorem proving Logic, Symbolic and mathematic

Other Editions

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)HardcoverCambridge University Press2005-08-08

Similar Books

First course in mathematical logic

[by] Patrick Suppes and Shirley Hill

Tractatus logico-philosophicus

Ludwig Wittgenstein ; translated by C.K. Ogden ; with an introduction by Bertrand Russell.

Computability and logic

George Boolos, Richard Jeffrey.

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!