عنوان
پدید آورنده
موضوع
رده
QA 9.54 .H2
QA
9
.
54
.
H2
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Handbook of proof theory
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
Elsevier
Date of Publication, Distribution, etc.
1998
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
811 p.: ill., tables
SERIES
Other Title Information
Studies in logic and the foundations of mathematics; 731
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 0444898409
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Samuel R. Buss
NOTES PERTAINING TO SUBJECT ACCESS
Text of Note
R
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
54
.
H2
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Buss, Samuel R.
SE
