عنوان
پدید آورنده
موضوع
رده
L926m
L926m
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Lu, Chung-wan
Title Proper
Mathematical logic for computer science
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
c1989
Name of Publisher, Distributor, etc.
World scientific
PHYSICAL DESCRIPTION
Other Physical Details
102100BL0051031
Other Physical Details
ix, 248 p. : ill
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science- Mathematics ► Logic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Edition
L926m
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Lu Zhongwan
