INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0521371813
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-53030
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proofs and types
General Material Designation
[Book]
First Statement of Responsibility
/ Jean-Yves Girard
Subsequent Statement of Responsibility
; translated and with appendices by Paul Taylor, Yves Lafont
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
: Cambridge University Press,
Date of Publication, Distribution, etc.
, c1989.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 176 p.
SERIES
Series Title
(Cambridge tracts in theoretical computer science 7)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Proof theory
Logic, Symbolic and mathematical
Type theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Girard, Jean-Yves.
PERSONAL NAME - SECONDARY RESPONSIBILITY
Taylor, Paul, Ph. D
Lafont, Yves
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
0521371813.pdf
Access number
عادی
Compression information
عادی
Date and Hour of Consultation and Access
0521371813.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
