عنوان
پدید آورنده
موضوع
رده
QA 9 .D66P7 2011
QA
9
.
D66P7
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9780857291202
OTHER STANDARD IDENTIFIER
Standard Number
767
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Gilles Dowek
.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
Series: Undergraduate topics in computer science.
GENERAL NOTES
Text of Note
Title
NOTE RELATING TO THE COPY IN HAND
Text of Note
000
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references )p. 151( and index.
UNIFORM TITLE
General Material Designation
Proofs and algorithms
OTHER VARIANT TITLES
Variant Title
an introduction to logic and computability
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, Symbolic and mathematical
Entry Element
Algorithms
DEWEY DECIMAL CLASSIFICATION
Number
004
Edition
D69P
.
015113
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
9
Classification Record Number
.
D66P7
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Dowek, Gilles.
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
1
English Book
غیرمرجع
