-
RecordNumber
3931
-
Author
Garnier, Rowan.
-
Title
100% mathematical proof
-
Author Statement
Rowan Garnier, John Taylor
-
Publication
Wiley
-
Publication Year
1996
-
Collation
viii, 317 p. : ill
-
Notes
0471961981 , Includes bibliographical references (p. (273)-274) and index
-
Subject
Logic, Symbolic and mathematical , Proof theory
-
ADDED ENTRIES
Taylor, John ,
-
LC Class
QA
-
LC Number
9.54
-
LC CutterNumber
.G367
-
LC Date
1996
-
Link To Document :
