عنوان
پدید آورنده
موضوع
رده
QA 9 .D68 2011
QA
9
.
D68
2011
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
87051
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.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 155 p.: ill.
SERIES
Series Title
Undergraduate topics in computer science
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 151( and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Gilles Dowek
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Computer logic
Entry Element
، Proof theory
Entry Element
، Algorithms
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
D68
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
TI Introduction to logic and computability
SE
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
یاضه ریه دانشکدانابخکت
