عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L6 1990
QA
9
.
A1L6
1990
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
127938
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
Logic and computer science
General Material Designation
[Book]
Other Title Information
: lectures given at the lst session of the Centro internazionale matematicoestivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
First Statement of Responsibility
/ S. Homer... [et al.]
Subsequent Statement of Responsibility
; editor, P. Odifreddi
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, New York
Name of Publisher, Distributor, etc.
: Springer - Verlag
Date of Publication, Distribution, etc.
, c1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
162p.
Other Physical Details
: ill.
Dimensions
; 25 cm
SERIES
Series Title
Lecture notes in mathematics
Volume Designation
; 1429
GENERAL NOTES
Text of Note
انگليسي
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical -- Congresses
Programming language (Electronic Computers)--Syntax
Computational complextiy -- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
Book number
.
A1L6
1990
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Homer
Entry Element
Odifreddi
Entry Element
Centro internazionale matematico estivo
Part of Name Other than Entry Element
, S.(Steven)
Part of Name Other than Entry Element
, Piergiorgio
Dates
, 1950-
ORIGINATING SOURCE
Country
Iran
Agency
Central Library Of Tehran University
Old cataloging
BL
1
Y
