عنوان
پدید آورنده
موضوع
رده
QA 76 .P7 D6 2011
QA
76
.
P7
D6
2011
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
1965
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Dowek, Gilles.
Title Proper
Proofs and algorithms an introduction to logic and computability
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London ;New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 155 p. , ill. , 24 cm.
SERIES
Series Title
Undergraduate topics in computer science,3681-0137
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 151( and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Algorithms
DEWEY DECIMAL CLASSIFICATION
Number
004
.
015113
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
P7
D6
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Gilles Dowek
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
لاه دیجیتانابخکت
