Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Computability and logic
پدید آورنده
George S. bools, John P.Burgess, Richard C. Jeffrey
موضوع
Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده
QA
9
.
59
.
B66
کتابخانه
Library of Beautiful Arts Campus University of Tehran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
61113246
-
61112755 021
-
66499680 021
-
021
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
لاتين
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
George S. bools, John P.Burgess, Richard C. Jeffrey
Title Proper
Computability and logic
EDITION STATEMENT
Edition Statement
5th ed.
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
2007
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 350 p. : ill.
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
مرجع به حساب نمي آيد
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
9
.
59
.
B66
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
مولف
Relator Code
Boolos, George
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Burgess, John P.
Entry Element
Jeffrey, Richard C.
Dates
1948-
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal