Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Logic for computer science
پدید آورنده
/ Steve Reeves, Michael Clarke,Reeves
موضوع
Logic, Symbolic and mathematical
رده
QA
9
.
R34
1990
کتابخانه
Central Library and Documents Center of Tehran University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
66466179
-
61112362
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0-201-41643-3
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
128409
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 for computer science
General Material Designation
[Book]
First Statement of Responsibility
/ Steve Reeves, Michael Clarke
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Wokingham, New York
Name of Publisher, Distributor, etc.
: Addison Wesley Pub. Co
Date of Publication, Distribution, etc.
, 1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
260p.
Other Physical Details
: fig.
Dimensions
; 24 cm
SERIES
Series Title
International computer science series
GENERAL NOTES
Text of Note
انگليسي
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
Book number
.
R34
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Reeves
Part of Name Other than Entry Element
, Steve
Relator Code
, author
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Clarke
Part of Name Other than Entry Element
, Michael
ORIGINATING SOURCE
Country
Iran
Agency
Central Library Of Tehran University
Old cataloging
BL
1
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal