-
RecordNumber
3455
-
Author
Velleman, Daniel J.
-
Title
How to prove it : a structured approach
-
Author Statement
Daniel J. Velleman
-
Publication
Cambridge University
-
Publication Year
1994
-
Collation
ix,309 p.
-
Notes
0521446635 , Includes bibliographical references
-
Subject
Automatic theorem proving , Structured programming
-
LC Class
QA
-
LC Number
76.6
-
LC CutterNumber
.V46
-
LC Date
1994
-
Link To Document :
