عنوان
پدید آورنده
موضوع
رده
QA .B66 9.59 1980
QA
.
B66
9
.
59
1980
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computability and logic
First Statement of Responsibility
George Boolos, Richard Jeffrey
EDITION STATEMENT
Edition Statement
2d ed
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge )Eng.(, New York
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
1980
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 285 p. ; 24 cm
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Computable functions
Entry Element
Recursive functions
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
9
.
59
Book number
.
B66
1980
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Boolos, George.
Entry Element
Title
Jeffrey, Richard C
.joint author
English Book
