عنوان
پدید آورنده
موضوع
رده
QA9 .L565 1995
QA9
.
L565
1995
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0262121956
(Number (ISBN
9780262121958
NATIONAL BIBLIOGRAPHY NUMBER
Number
b713004
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computational aspects of linear logic /
General Material Designation
[Book]
First Statement of Responsibility
Patrick Lincoln.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge, MA :
Name of Publisher, Distributor, etc.
MIT Press,
Date of Publication, Distribution, etc.
1995.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
pages cm.
SERIES
Series Title
Foundations of computing series
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages-) and index.
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical-- Data processing.
Proof theory.
Logic, Symbolic and mathematical-- Data processing.
Proof theory.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
L565
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
Lincoln, Patrick.
ORIGINATING SOURCE
Date of Transaction
20201208032717.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
