Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Mathematical logic for computer science
پدید آورنده
Lu, Chung-wan.
موضوع
Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده
QA
76
.
9
.
M35
L8
1989
کتابخانه
Central Library of Amirkabir University of Technology
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Lu, Chung-wan.
Title Proper
Mathematical logic for computer science
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Singapore
Name of Publisher, Distributor, etc.
World Scientific
Date of Publication, Distribution, etc.
1989
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 248 p
GENERAL NOTES
Text of Note
Includes bibliographical references and index
Text of Note
Includes index
TOPICAL NAME USED AS SUBJECT
Entry Element
Electronic data processing - Mathematics
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
M35
L8
1989
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Lu Zhong-Wan
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal