عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .G367 1996
QA
9
.
54
.
G367
1996
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
100% mathematical proof
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Chichester ; New York
Name of Publisher, Distributor, etc.
Wiley
Date of Publication, Distribution, etc.
c1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 317 p. : ill. ; 25 cm.
GENERAL NOTES
Text of Note
Includes bibliographical references )p. ]273[-274( and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Rowan Garnier, John Taylor
ORIGINAL VERSION NOTE
Text of Note
2
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
Entry Element
، Logic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
54
.
G367
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Garnier, Rowan.
Relator Code
AU
AU Taylor, John 1957-
TI
