عنوان
پدید آورنده
موضوع
رده
QA,9,.A1,L56,1995
QA
,
9
,.
A1
,
L56
,
1995
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Qualification
(pbk.)
(Number (ISBN
0521559618
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
ebook13860
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
Advances in linear logic
General Material Designation
[Electronic Resource]
First Statement of Responsibility
/ edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge ;New York
Name of Publisher, Distributor, etc.
: Cambridge University Press,
Date of Publication, Distribution, etc.
, 1995.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 389 p.
SERIES
Series Title
(London Mathematical Society lecture note series
Volume Designation
; 222)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
SERIES
Title
London Mathematical Society lecture note series
Volume Number
222
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical--Congresses
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
,
9
,.
A1
,
L56
,
1995
PERSONAL NAME - SECONDARY RESPONSIBILITY
Girard, Jean-Yves
Lafont, Yves
Regnier, Laurent
Linear Logic Worksho� (1993
ORIGINATING SOURCE
Country
ایران
LOCATION AND CALL NUMBER
Call Number
511.3
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
0521559618.pdf
Electronic Format Type
0
old catalog
e
BL
1
a
Y
