عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 N47 1997
QA
76
.
9
.
M35
N47
1997
کتابخانه
محل استقرار
H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Nerode, Anil
Title Proper
Logic for applications
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 456 p
SERIES
Series Title
Graduate texts in computer science
GENERAL NOTES
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science - Mathematics
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
M35
N47
1997
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Dates
1932-
Entry Element
Anil Nerode and Richard A. Shore
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
