عنوان
پدید آورنده
موضوع
رده
QA9 .T76 1991
QA9
.
T76
1991
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0937073784
(Number (ISBN
0937073776
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EB11729
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
Lectures on linear logic
General Material Designation
[Electronic Resource]
First Statement of Responsibility
/ A.S. Troelstra
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Stanford, CA
Name of Publisher, Distributor, etc.
: Center for the Study of Language and Information,
Date of Publication, Distribution, etc.
, c1992.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 200 p. ill. 24 cm.
SERIES
Series Title
(CSLI lecture notes
Volume Designation
; no. 29)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
ng
Text of Note
Includes bibliographical references (p. 191-196) and index.
OTHER VARIANT TITLES
Variant Title
Linear logic
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
T76
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Troelstra, A. S.(Anne Sjerp)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
0937073776.pdf
Access number
محرمانه
Compression information
محرمانه
Date and Hour of Consultation and Access
0937073776.pdf
Bits per second
0
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
