عنوان
پدید آورنده
موضوع
رده
QA 9.54 .N4S8
QA
9
.
54
.
N4S8
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
26179
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Negri, Sara
Title Proper by Another Author
7691-
Title Proper
Structural proof theory
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge ; New York
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 257 p. ; 24 cm.
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 245-249( and indexes
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
54
.
N4S8
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
AU naJ ,otalP noV
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
ه مرکزیانابخن کتش التیبخ
