عنوان
پدید آورنده
موضوع
رده
QA 9.54 .G58
QA
9
.
54
.
G58
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proofs and types
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
Cambridge Univ. Press
Date of Publication, Distribution, etc.
1990, c1989
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 176p
SERIES
Other Title Information
Cambridge tracts in theoretical computer science; 7
GENERAL NOTES
Text of Note
Bibliography: p.162-165
Text of Note
ISBN: 0521371813
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jean-Yves Girard; translated and with appendices by Paul Taylor, Yves Lafont
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
2
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
54
.
G58
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Girard, Jean-Yves
Relator Code
AU
TI
SE
