عنوان
پدید آورنده
موضوع
رده
QA 76.6 .M35595 1985
QA
76
.
6
.
M35595
1985
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
6352
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Manna, Zohar
Title Proper
The logical basis for computer programming
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Reading,Mass.
Name of Publisher, Distributor, etc.
Addison-Wesley
Date of Publication, Distribution, etc.
1985
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
2V. :ill
SERIES
Series Title
Addison-Wesley series in computer science
GENERAL NOTES
Text of Note
Includes index
CONTENTS NOTE
Text of Note
V.1.Deductive reasoning. - V.2.Deductive systems
TOPICAL NAME USED AS SUBJECT
Entry Element
$AProgramming )Electronic digital computers(
Entry Element
$ALogic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
M35595
1985
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Zohar Manna, Richard Waldinger
AU drahciR ,regnidlaW
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
LOSE
