عنوان
پدید آورنده
موضوع
رده
QA9.7 .L64 1982
QA9
.
7
.
L64
1982
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0444868763 (U.S.)
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic Colloquium '82 :
General Material Designation
[Book]
Other Title Information
proceedings of the colloquium held in Florence, 23-28 August, 1982 /
First Statement of Responsibility
edited by G. Lolli, G. Longo, and A. Marcja
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York, N.Y. :
Name of Publisher, Distributor, etc.
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Date of Publication, Distribution, etc.
1984
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 358 p. :
Other Physical Details
ill. ;
Dimensions
23 cm
SERIES
Series Title
Studies in logic and the foundations of mathematics
Volume Designation
v. 112
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographies
TOPICAL NAME USED AS SUBJECT
Categories (Mathematics)-- Congresses
Lambda calculus-- Congresses
Model theory-- Congresses
DEWEY DECIMAL CLASSIFICATION
Number
511/
.
8
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
7
Book number
.
L64
1982
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Lolli, Gabriele,1942-
Longo, G., (Giuseppe)
Marcja, A., (Annalisa)
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Logic Colloquium(1982 :, Florence, Italy)
ORIGINATING SOURCE
Date of Transaction
19840730000000.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
