عنوان
پدید آورنده
موضوع
رده
QA .G367 9.54 1996
QA
.
G367
9
.
54
1996
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
100
Title Proper
mathematical proof
First Statement of Responsibility
Rowan Garnier, John Taylor
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Chichester, New York
Name of Publisher, Distributor, etc.
Wiley
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 317 p. : ill. ; 25 cm
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references )p. )273(-274( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Proof theory
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
9
.
54
Book number
.
G367
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Garnier, Rowan.
Taylor, John
1957-
English Book
